Ludovic Courtès <ludovic.courtes@inria.fr> writes:

> Eric Bavier <bavier@cray.com> skribis:
>
>> On Fri, Apr 06, 2018 at 10:05:43AM +0200, Ludovic Courtès wrote:
>>
>>> If that’s the case, I’d be in favor of pushing this patch to core-updates.
>>
>> Great.  I'll do some more testing.  Should I send a finalized patch to
>> guix-patches when it's ready?
>
> If Marius has no objections, I think you could push it directly to
> core-updates.

Sounds good to me.  I just pushed a couple of full-rebuild commits to
fix bootstrap-tarballs, so the Big Rebuild is still some days off.