[Reportbug-maint] Processed: [reportbug/master] the correct name is Gnus, not GNUS; thanks to Tollef Fog Heen for the report; Closes: #683325
Debian Bug Tracking System
owner at bugs.debian.org
Tue Oct 28 12:17:23 UTC 2014
Processing commands for control at bugs.debian.org:
> tag 683325 pending
Bug #683325 [reportbug] reportbug: Gnus is called Gnus, not GNUS
Ignoring request to alter tags of bug #683325 to the same tags previously set
> tag 683325 pending
Bug #683325 [reportbug] reportbug: Gnus is called Gnus, not GNUS
Ignoring request to alter tags of bug #683325 to the same tags previously set
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
683325: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=683325
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems
More information about the Reportbug-maint
mailing list