Subject: Re: [bug#58501] [PATCH] gnu: Add userspace desktop services

From: Tobias Geerinckx-Rice <[email-masked]>
Date: Tue, 14 Mar 2023 15:48:05 +0000

Hi florhizome,

I think you forgot to -close ;-)

Done now.

Kind regards,

T G-R

Sent on the go.  Excuse or enjoy my brevity.