Processed: forcibly merging 677723 748782

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> forcemerge 677723 748782
Bug #677723 [gnome-settings-daemon] gnome-settings-daemon: --no-daemon option in manpage is invalid
Bug #748782 [gnome-settings-daemon] gnome-settings-daemon: man page describes --no-daemon option but it does not work
Severity set to 'minor' from 'normal'
Marked as found in versions gnome-settings-daemon/3.12.1-3 and gnome-settings-daemon/3.4.2-3.
Bug #677723 [gnome-settings-daemon] gnome-settings-daemon: --no-daemon option in manpage is invalid
Marked as found in versions gnome-settings-daemon/3.8.5-2.
Merged 677723 748782
> thanks
Stopping processing here.

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