Re: More tags/usertags on Debbugs?

[Michael Albinus]

John Wiegley <address@hidden> writes:

>>> When I read the severity levels, I actually wondered if we have more than
>>> needed severity tags... How would one distinguish among critical, grave and
>>> serious severities?
>
>> They are, and you can't. But these are debbugs levels, and I think it would
>> be a waste of our resources to try fighting that. Instead, I suggest not to
>> use those levels we think are superfluous.
>
> Critical/grave/serious: The distinction does not win any bug more attention,
> or cause it to be fixed any quicker, so "serious" is all we should need.

So does debbugs-gnu.el. Only "serious" is offered from these three.

Best regards, Michael.