Add PR number
authorRichard Sandiford <rsandifo@gcc.gnu.org>
Wed, 25 Jul 2018 08:42:38 +0000 (08:42 +0000)
committerRichard Sandiford <rsandifo@gcc.gnu.org>
Wed, 25 Jul 2018 08:42:38 +0000 (08:42 +0000)
commit1978cc78c86a82055f1981569f8383770c825e70
tree699e4bf4f66555f3679cfc102d5e245599919378
parente8dce850a7ffcffff4690f62f85e0ed4ede4d82a
Add PR number

From-SVN: r262962
gcc/ChangeLog