Add ChangeLog entries, missing from last commit
authorPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Fri, 20 Oct 2017 16:20:40 +0000 (16:20 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Fri, 20 Oct 2017 16:20:40 +0000 (16:20 +0000)
commit5664fd68a116fdceb90f2c73fc2f90f75cb84f8f
tree88d9bd36e4caa7c36935c2daf4173c250206c7fb
parent8f8f531f0def95af2eb35265a3e7b6c3aa43ad7c
Add ChangeLog entries, missing from last commit

From-SVN: r253946
gcc/ada/ChangeLog