Subject: Re: [bug#32011] [PATCH] gnu: Add ddcutil.
From: Tobias Geerinckx-Rice <[email-masked]>
To: Maxim Cournoyer <[email-masked]>
Cc: [email-masked]
Date: Thu, 30 Aug 2018 20:02:40 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Guix, Maxim,

Maxim Cournoyer wrote:
> Could someone with the rights please merge it in?

Done in aadd1d241cc9891a857dda9a5cf8389673b3c76c!

Kind regards,

T G-R