diff options
-rw-r--r-- | ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog index 96c947b3063..aaab453e5b1 100644 --- 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> |