Processing commands for [email protected]: > 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 [email protected] with problems -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
