Subject: Re: [bug#36957] [PATCH 5/5] remote: Use (%daemon-socket-uri) rather than hard-coded path.
From: Christopher Lemmer Webber <[email-masked]>
To: "Jakob L. Kreuze" <[email-masked]>
Cc: Ricardo Wurmus <[email-masked]>, [email-masked]
Date: Thu, 15 Aug 2019 07:44:11 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

Merged and pushed!

Now to mark all the other issues as done too...