https://bugzilla.wikimedia.org/show_bug.cgi?id=53387

MZMcBride <[email protected]> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |[email protected]

--- Comment #1 from MZMcBride <[email protected]> ---
(In reply to comment #0)
> However, it doesn't mark it as Resolved: Fixed when it's merged.  I think
> this is because tagging it with a Bug number does not always mean the bug is
> always fixed.

I always assumed not marking the bug as resolved/fixed was a feature to prevent
false positives. Determining whether a bug is resolved by a particular
changeset can be difficult, even for experienced humans.

> "Bug: 12345" would remain available, for when the patch set was just one step
> towards fixing the bug.

I can't say I'm a huge fan of the idea of having two very similar keywords. I
think it will create confusion. But meh.

-- 
You are receiving this mail because:
You are the assignee for the bug.
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l

Reply via email to