https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69148
Vladimir Makarov <vmakarov at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |vmakarov at gcc dot gnu.org
--- Comment #11 from Vladimir Makarov <vmakarov at gcc dot gnu.org> ---
(In reply to Dominik Vogt from comment #10)
> (In reply to Matthias Klose from comment #8)
> > I prepared a patch for the distro builds. Any reason that this can't go to
> > the gcc-5-branch?
>
> Ping?
Sorry for the answer delay. I have too many PRs these days.
After some thoughts recently about the possible patch risks, I believe it is ok
to commit the patch into gcc-5-branch.
Could you do this? Or you prefer me to do this.
