[Reportbug-maint] Processed: user reportbug at packages.debian.org, usertagging 562876, severity of 562876 is minor

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> user reportbug at packages.debian.org
Setting user to reportbug at packages.debian.org (was morph at debian.org).
> usertags 562876 ui-gtk
Bug#562876: GTK front end says Ctrl+c can be used to exit
There were no usertags set.
Usertags are now: ui-gtk.
> severity 562876 minor
Bug #562876 [reportbug] GTK front end says Ctrl+c can be used to exit
Severity set to 'minor' from 'normal'

>
End of message, stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)