Processed: merge 625519 700559 671733

Thu Mar 20 14:24:15 UTC 2014

Processing commands for control at bugs.debian.org:

> severity 671733 wishlist
Bug #671733 [gnome-shell] gnome-shell: many KDE application launchers are missing
Severity set to 'wishlist' from 'normal'
> severity 625519 wishlist
Bug #625519 [gnome-shell] gnome-shell: Application search looks into /usr/share/applications/kde only
Severity set to 'wishlist' from 'normal'
> merge 625519 700559 671733
Bug #625519 [gnome-shell] gnome-shell: Application search looks into /usr/share/applications/kde only
Bug #700559 [gnome-shell] gnome-shell: gnome applications search cannot find kde apps like ksnapshot
Marked as found in versions gnome-shell/3.0.0.2-1 and gnome-shell/3.2.2.1-2.
Bug #671733 [gnome-shell] gnome-shell: many KDE application launchers are missing
Marked as found in versions gnome-shell/3.0.0.2-1 and gnome-shell/3.6.2-2.
Bug #625519 [gnome-shell] gnome-shell: Application search looks into /usr/share/applications/kde only
Marked as found in versions gnome-shell/3.6.2-2 and gnome-shell/3.2.2.1-2.
Merged 625519 671733 700559
> kthxbye
Stopping processing here.

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