diff options
Diffstat (limited to 'ChangeLog')
-rw-r--r-- | ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog index 76af7825890..bcf404b7f81 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2005-06-04 Tobias Schl"uter <tobias.schlueter@physik.uni-muenchen.de> + + * configure.in: Fix typo in handling of --with-mpfr-dir. + * configure: Regenerate. + 2005-06-04 Richard Sandiford <rsandifo@nildram.co.uk> * MAINTAINERS: Update my email address. |