Subject: Re: bug#41058: GNOME Maps fails to start in GNOME
From: Leo Prikler <[email-masked]>
To: [email-masked]
Cc: [email-masked]
Date: Tue, 29 Dec 2020 14:04:29 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello Guix,

I've just pushed a variant of the patch I proposed as
a2d5f9f60d0f440e5d5ce1a1cc81743b27d6cede.  I tested it yesterday in a
VM; it should work.

Regards,
Leo