Subject: Pushed

From: Danny Milosavljevic <[email-masked]>
Date: Fri, 8 May 2020 15:54:35 +0200

Hi,

pushed to guix master as commit e5463baf2ce21cd2abc7ac5576401ae7ee7eb28c
with slight changes to the commit message and without the change to the
synopsis (I'm not opposed to abbreviations, but if we use them, then
let's use texinfo to define what the abbreviations mean).