Processed: limit source to gnome-shell, tagging 726099

Sat Oct 12 14:57:08 UTC 2013

Processing commands for control at bugs.debian.org:

> #gnome-shell (3.8.4-4) UNRELEASED; urgency=low
> #
> #  * Restrict dependency on gir1.2-nmgtk-1.0 to linux-any (Closes: #726099)
> #
> limit source gnome-shell
Limiting to bugs with field 'source' containing at least one of 'gnome-shell'
Limit currently set to 'source':'gnome-shell'

> tags 726099 + pending
Bug #726099 [gnome-shell] gnome-shell: uninstallable on !linux
Added tag(s) pending.
> thanks
Stopping processing here.

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