https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66047
Manuel López-Ibáñez <manu at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |manu at gcc dot gnu.org
--- Comment #4 from Manuel López-Ibáñez <manu at gcc dot gnu.org> ---
(In reply to Jan Hubicka from comment #3)
> I managed to get wrong PR marker, but partly fixed on mainline so far by
> r223111
>
> https://gcc.gnu.org/ml/gcc-patches/2015-05/msg01230.html
You can do:
svn propedit 'svn:log' -r223111 --revprop
to amend it. This is good for the future when someone checks the svn logs, and
it will trigger a message here.
