On Thu, Oct 04, 2018 at 02:53:16PM +0100, Paul Garlick wrote:
> Hi Guix,
> 
> Are there any comments on the revised patch? 
> 
> I  have re-checked that it builds successfully.  It does.

I pushed as 9e2aa70bad8c06cdf9a44065a31f12b3205e92e0. Thanks!