Bug#812381: marked as done (gedit no longer provides a dialog for configuring editor settings)

[Debian Bug Tracking System]

Your message dated Wed, 27 Jan 2016 15:33:10 +0100
with message-id <56A8D526.7090304 at debian.org>
and subject line Re: Bug#812381: gedit no longer provides a dialog for configuring editor settings
has caused the Debian Bug report #812381,
regarding gedit no longer provides a dialog for configuring editor settings
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner at bugs.debian.org
immediately.)


-- 
812381: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=812381
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems
-------------- next part --------------
An embedded message was scrubbed...
From: Karl-Philipp Richter <krichter at posteo.de>
Subject: gedit no longer provides a dialog for configuring editor settings
Date: Fri, 22 Jan 2016 19:58:32 -0500
Size: 3885
URL: <http://lists.alioth.debian.org/pipermail/pkg-gnome-maintainers/attachments/20160127/ce137272/attachment.mht>
-------------- next part --------------
An embedded message was scrubbed...
From: Michael Biebl <biebl at debian.org>
Subject: Re: Bug#812381: gedit no longer provides a dialog for configuring editor settings
Date: Wed, 27 Jan 2016 15:33:10 +0100
Size: 3665
URL: <http://lists.alioth.debian.org/pipermail/pkg-gnome-maintainers/attachments/20160127/ce137272/attachment-0001.mht>