Add missing PR number
commitbe418c914724cfb5da01b987c2c9dc4fc89a3ba9
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 21 Dec 2017 22:08:30 +0000 (21 22:08 +0000)
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 21 Dec 2017 22:08:30 +0000 (21 22:08 +0000)
tree77c15fd70270bb742692cab21a8ab9426db82fb1
parentbdd0b6ae233e4b98925841004ddac3a317a06c00
Add missing PR number

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@255959 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog