On Sun, 2011-03-13 at 20:31 +0000, Jelmer Vernooij wrote: > ** Tags added: ignore
While I understand why this tag is called "ignore" that is a tag name that might make some users upset. Probably "cmd-ignore" or something would be better.
On Sun, 2011-03-13 at 20:31 +0000, Jelmer Vernooij wrote:
> ** Tags added: ignore
While I understand why this tag is called "ignore" that is a tag name
that might make some users upset. Probably "cmd-ignore" or something
would be better.