Subject: Re: [bug#33405] [PATCH 00/10] De-monadify and clean up system code

From: [email-masked] (Ludovic Courtès)
Date: Sun, 18 Nov 2018 23:42:05 +0100

Hello,

Thanks Danny & Mathieu for your feedback!  Pushed as
ab6caf4f1d94a5e8f58cbdfde15d7bef77eb25c4.

Ludo’.