Fix PR number
authorRichard Sandiford <rsandifo@gcc.gnu.org>
Wed, 1 Aug 2018 15:32:25 +0000 (15:32 +0000)
committerRichard Sandiford <rsandifo@gcc.gnu.org>
Wed, 1 Aug 2018 15:32:25 +0000 (15:32 +0000)
commit5534096c09d8d8bc4e12b73d1db179ccd7c60671
tree82d203cb6eeb0bbe195186b9e03cc27855025128
parent41b6b80e1a70f3731a45d991a83c5bc4a7f73ea4
Fix PR number

From-SVN: r263223
gcc/ChangeLog