[debbugs-tracker] Processed: your mail

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> user address@hidden
Setting user to address@hidden (was address@hidden).
> usercategory derterminism
>  * derterminism [tag=]
>  + derterminism [derterminism]
>  + Uncategorized []
Added usercategory derterminism.

> usercategory normal
>  * status
>  * derterminism
>  * severity
Added usercategory normal.

> usercategory <pkg>-sort
>  * status
>  * derterminism
>  * severity
Added usercategory <pkg>-sort.

> usercategory old
>  * status
>  * severity
>  * classification
Added usercategory old.

> thanks
Stopping processing here.

Please contact address@hidden if you need assistance.

GNU bugs database, http://debbugs.gnu.org/