2007-02-13 Paolo Bonzini <bonzini@gnu.org>

	* configure: Reapply PR30748 fix which was lost in the previous commit.

diff --git a/ChangeLog b/ChangeLog
index 96c947b3063bca577399e0e0682afed1c3004470..aaab453e5b17187fb645129909479a5110507ce4 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2007-02-13  Paolo Bonzini  <bonzini@gnu.org>
+
+       * configure: Reapply PR30748 fix which was lost in the previous commit.
+
 2007-02-13  Daniel Jacobowitz  <dan@codesourcery.com>
            Paolo Bonzini  <bonzini@gnu.org>