Re: Cleaning out obsolete bugs in bugzilla

On 03/12/2014 05:15 PM, Andreas Schwab wrote:
> Pedro Alves <[email protected]> writes:
> 
>> In this case I went with WONTFIX as meaning "Won't fix in
>> the 6.3 branch."  But as I confirmed it works on mainline,
>> we could go with FIXED too.  It's all the same in the end,
>> but maybe FIXED is kinder to the original reporter?
> 
> IMHO a bug that is fixed on mainline should be marked FIXED with the
> target milestone set to the version it was fixed in.

I've changed it to FIXED now.

-- 
Pedro Alves