Processed: user address@hidden, usertagging 62262, closing 62262

[GNU bug tracker automated control server]

Processing commands for control@debbugs.gnu.org:

> user guix@debbugs.gnu.org
Setting user to guix@debbugs.gnu.org (was steve@futurile.net).
> usertags 62262 =
bug number 62262 not found. (Is it archived?)

> close 62262
bug number 62262 not found. (Is it archived?)

> thanks
Stopping processing here.

Please contact help-debbugs@gnu.org if you need assistance.

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