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

José Rui Faustino de Sousa <jrfsousa at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #5 from José Rui Faustino de Sousa <jrfsousa at gmail dot com> ---
Fixed by:

https://gcc.gnu.org/git/gitweb.cgi?p=gcc.git;h=a240e83ce9d92786ac9a15ab815b58197b85ada2

Reply via email to