Add missing PR number
authorEric Botcazou <ebotcazou@gcc.gnu.org>
Thu, 21 Dec 2017 22:08:30 +0000 (22:08 +0000)
committerEric Botcazou <ebotcazou@gcc.gnu.org>
Thu, 21 Dec 2017 22:08:30 +0000 (22:08 +0000)
commit2428b0351bc07f2c14c299022bdae4bf01722031
tree77c15fd70270bb742692cab21a8ab9426db82fb1
parent0e5b9de3128a989de7438db0930b9800e7e0f4c8
Add missing PR number

From-SVN: r255959
gcc/ada/ChangeLog