https://gcc.gnu.org/bugzilla/show_bug.cgi?id=2082
Eric Gallager <egallager at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |egallager at gcc dot gnu.org Resolution|FIXED |WONTFIX --- Comment #11 from Eric Gallager <egallager at gcc dot gnu.org> --- (In reply to Jonathan Wakely from comment #10) > 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. From reading the previous comments it looks like WONTFIX is indeed more accurate than FIXED, so I'm changing the status to that for now. Bug 11196 looks like a more specific instance of this one so I'd say if one's going to be marked a duplicate of the other, it should probably be the other way around.