https://gcc.gnu.org/bugzilla/show_bug.cgi?id=2082
Jonathan Wakely <redi at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- See Also| |https://gcc.gnu.org/bugzill | |a/show_bug.cgi?id=11196 --- Comment #10 from Jonathan Wakely <redi at gcc dot gnu.org> --- Should this be WONTFIX rather than FIXED? I think FIXED is the default for "closed" from the old gnatweb system, but this was not fixed. Or now that I'm (slowly) working on fixing it, maybe even REOPENED, or make it a dup of Bug 11196.