Processing commands for cont...@bugs.debian.org: > retitle 684331 Video out media-key doesn't work as expected Bug #684331 [gnome-settings-daemon] gnome-settings-daemon: Media-key to switch to external monitor doesn't work Changed Bug title to 'Video out media-key doesn't work as expected' from 'gnome-settings-daemon: Media-key to switch to external monitor doesn't work' > forwarded 684331 https://bugzilla.gnome.org/show_bug.cgi?id=687068 Bug #684331 [gnome-settings-daemon] Video out media-key doesn't work as expected Set Bug forwarded-to-address to 'https://bugzilla.gnome.org/show_bug.cgi?id=687068'. > tags 684331 upstream Bug #684331 [gnome-settings-daemon] Video out media-key doesn't work as expected Added tag(s) upstream. > thanks Stopping processing here.
Please contact me if you need assistance. -- 684331: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=684331 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems -- To UNSUBSCRIBE, email to debian-bugs-forwarded-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
