Processed: Bug not present in stretch
Processing commands for control@bugs.debian.org:
> notfound 945842 0.23+d040330-3
Bug #945842 {Done: Yavor Doganov <yavor@gnu.org>} [grdesktop] grdesktop: Debian patch for gsettings broken: wrong settings-name used
No longer marked as found in versions grdesktop/0.23+d040330-3.
> found 945842 0.23+d040330-3.1
Bug #945842 {Done: Yavor Doganov <yavor@gnu.org>} [grdesktop] grdesktop: Debian patch for gsettings broken: wrong settings-name used
Marked as found in versions grdesktop/0.23+d040330-3.1.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
945842: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=945842
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: