Eric Gallager <egallager at gcc dot> changed:

           What    |Removed                     |Added
                 CC|                            |egallager at gcc dot
         Resolution|FIXED                       |WONTFIX

--- Comment #11 from Eric Gallager <egallager at gcc dot> ---
(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.

Reply via email to