Add forgotten PR marker.
authorRainer Orth <ro@gcc.gnu.org>
Fri, 7 Dec 2018 13:56:17 +0000 (13:56 +0000)
committerRainer Orth <ro@gcc.gnu.org>
Fri, 7 Dec 2018 13:56:17 +0000 (13:56 +0000)
commite914864fab272605a6f07580f7e30a2a452d69a1
treebd298786cf9bd58d06e5246881c3e323d1ecf00e
parent64b82dfa3ba62124df697973a8b9922c637aa3a1
Add forgotten PR marker.

From-SVN: r266889
gcc/ChangeLog