https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81699

--- Comment #1 from rguenther at suse dot de <rguenther at suse dot de> ---
On August 3, 2017 5:05:36 PM GMT+02:00, "seurer at gcc dot gnu.org"
<gcc-bugzi...@gcc.gnu.org> wrote:
>https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81699
>
>seurer at gcc dot gnu.org changed:
>
>           What    |Removed                     |Added
>----------------------------------------------------------------------------
>               CC|                            |rguenther at suse dot de

See my mail, it's fixed already.

Reply via email to