Subject: Re: [bug#36404] [PATCH v5 4/4] doc: Add section for 'guix deploy'.
From: Christopher Lemmer Webber <[email-masked]>
To: "Jakob L. Kreuze" <[email-masked]>
Cc: Ludovic Courtès <[email-masked]>, "Thompson, David" <[email-masked]>, [email-masked]
Date: Sat, 06 Jul 2019 02:14:29 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

Since those changes seemed to reflect everyone's requests, I've pushed
it to git master.

Huge congrats to Jakob!  I'm stoked about it.

Now who can race to the finish line to be the first one using these
tools for their server deployment? :)