Processed: limit source to gnome-shell, tagging 744030

Wed Apr 9 16:09:13 UTC 2014

Processing commands for control at bugs.debian.org:

> #gnome-shell (3.12.0-2) UNRELEASED; urgency=medium
> #
> #  * debian/control.in: Add dependency against gir1.2-gdesktopenums-3.0 (>=
> #    3.12) (Closes: #744030)
> #
> 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 744030 + pending
Bug #744030 [gnome-shell] gnome-shell: [3.12] Insufficient versioned dependency: gir1.2-gdesktopenums-3.0 >= 3.12
Added tag(s) pending.
> thanks
Stopping processing here.

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