Processed: your mail

[Debian Bug Tracking System]

Processing commands for control at 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 owner at bugs.debian.org with problems