Processing commands for cont...@bugs.debian.org:
> archive 490943
Bug #490943 {Done: Mohammed Adnène Trojette <adn+...@diwi.org>} [gnome-art]
gnome-art: Searches gnome-splashscreen-manager/gnome_splashscreen_manager and
crashes
archived 490943 to archive/43 (from 490943)
deleted 490943 (from 490943)
> thanks
Stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
--
To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
