diff options
Diffstat (limited to 'ChangeLog')
| -rw-r--r-- | ChangeLog | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog index 66a25d0c3..62911907c 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,7 @@ 2018-09-03 Oliver Kiddle <okiddle@yahoo.co.uk> + * unposted: NEWS: mention Inf/NaN floating point changes + * unposted: Makefile.in: further to 43358 use same patchlevel form for the release file |