Subject: Re: bug#58408: [PATCH] gnu: Add doctl.
From: Ludovic Courtès <[email-masked]>
To: Matthew James Kraai <[email-masked]>
Cc: [email-masked]
Date: Sun, 23 Oct 2022 15:07:41 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi,

Matthew James Kraai <[email-masked]> skribis:

>>From 53ebbadf664dda942b4d749803b5ece4e4aef0f6 Mon Sep 17 00:00:00 2001
> From: Matthew James Kraai <[email-masked]>
> Date: Sun, 9 Oct 2022 05:07:23 -0700
> Subject: [PATCH] gnu: Add doctl.
>
> * gnu/packages/admin.scm (doctl): New variable.

Applied, thank you, and thanks unmatched-paren for reviewing!

Ludo’.