http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57425

--- Comment #16 from Bill Schmidt <wschmidt at gcc dot gnu.org> ---
Mikael, thanks very much.  I'll be happy to commit on your behalf once the
patch is approved.

Reply via email to