diff --git a/ChangeLog b/ChangeLog index 06250f9007..b2cec4fea2 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +2018-01-31 Dmitry V. Levin + + * manual/install.texi (Tools for Compilation): Update the newest + versions of gcc, binutils, texinfo, gawk, bison, and sed. + * INSTALL: Regenerated. + 2018-01-30 Samuel Thibault