Processed: notfound 726624 in 3.12.2-3, notfound 726625 in 3.12.2-3

Tue Aug 5 19:45:05 UTC 2014

Processing commands for control at bugs.debian.org:

> notfound 726624 3.12.2-3
Bug #726624 [gnome-shell] gnome-shell: notifications not working
Ignoring request to alter found versions of bug #726624 to the same values previously set
> notfound 726625 3.12.2-3
Bug #726625 [gnome-shell] gnome-shell: media-keys plugin not working; JS ERROR
Ignoring request to alter found versions of bug #726625 to the same values previously set
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
726624: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=726624
726625: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=726625
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems