Subject: Re: [bug#33591] [PATCH] doc: Fix "desktop" OS config example.
From: Danny Milosavljevic <[email-masked]>
To: Laura Lazzati <[email-masked]>
Cc: Gábor Boskovits <[email-masked]>, Ricardo Wurmus <[email-masked]>, [email-masked]
Date: Mon, 3 Dec 2018 14:31:00 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

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

Thanks!