Processing commands for cont...@bugs.debian.org: > notfound 945842 0.23+d040330-3 Bug #945842 {Done: Yavor Doganov <ya...@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 <ya...@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 ow...@bugs.debian.org with problems