Subject: Re: [bug#34521] Guix patch

From: Ricardo Wurmus <[email-masked]>
Date: Mon, 18 Feb 2019 22:09:04 +0100

Hi Brian,

> Please ignore my last email---here is another fix to the patch.

Thank you.  I pushed it to the master branch with commit 48211de6d.

-- 
Ricardo