Subject: Re: [bug#33591] [PATCH] doc: Fix "desktop" OS config example.

From: Danny Milosavljevic <[email-masked]>
Date: Mon, 3 Dec 2018 14:31:00 +0100

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

Thanks!