Processed: Re: gedit: Highlight colors option screen change the colors seemingly randomly

[Debian Bug Tracking System]

Processing commands for control@bugs.debian.org:

> forwarded 268782 http://bugzilla.gnome.org/show_bug.cgi?id=141741
Bug#268782: gedit: Highlight colors option screen change the colors seemingly randomly
Noted your statement that Bug has been forwarded to http://bugzilla.gnome.org/show_bug.cgi?id=141741.

> close 268782
Bug#268782: gedit: Highlight colors option screen change the colors seemingly randomly
'close' is deprecated; see http://www.debian.org/Bugs/Developer#closing.
Bug closed, send any further explanations to Gaetan de Menten <ged@bugfactory.org>

> thanks
Stopping processing here.

Please contact me if you need assistance.

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