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 96c947b..aaab453 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>