Fix missing name in ChangeLog
commit390549c8a15f6527ae92697f1eb084576cafd561
authorRichard Sandiford <rsandifo@gcc.gnu.org>
Fri, 21 Jun 2019 14:38:39 +0000 (21 14:38 +0000)
committerRichard Sandiford <rsandifo@gcc.gnu.org>
Fri, 21 Jun 2019 14:38:39 +0000 (21 14:38 +0000)
tree7b1c49d71c17c4ebf2c544a0ea02951e600e8833
parent28b9598b64122e232f2998d8fed2f10ebbf78884
Fix missing name in ChangeLog

It was in the commit message but got dropped from the ChangeLog entry
due to a scripting bug.

From-SVN: r272551
gcc/ChangeLog