[debbugs-tracker] bug#33591: closed ([PATCH] doc: Fix "desktop" OS config example.)

[GNU bug Tracking System]

Your message dated Mon, 3 Dec 2018 14:31:00 +0100
with message-id <address@hidden>
and subject line Re: [bug#33591] [PATCH] doc: Fix "desktop" OS config example.
has caused the debbugs.gnu.org bug report #33591,
regarding [PATCH] doc: Fix "desktop" OS config example.
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
33591: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=33591
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: [PATCH] doc: Fix "desktop" OS config example. Date: Sun, 2 Dec 2018 21:48:19 -0300

0001-doc-Fix-desktop-OS-config-example.patch
Description: Text Data

--- End Message ---

--- Begin Message --- Subject: Re: [bug#33591] [PATCH] doc: Fix "desktop" OS config example. Date: Mon, 3 Dec 2018 14:31:00 +0100

Pushed to master as b9914c479445a85b2caf284c50f8a242f0f8f0bd with minimal 
changes (to the commit message).

Thanks!

pgpPKRFyvooLk.pgp
Description: OpenPGP digital signature

--- End Message ---