Subject: Re: bug#15428: `guix pull' failed on debian jessie

From: [email-masked] (Ludovic Courtès)
Date: Sat, 21 Sep 2013 22:18:03 +0200

Hi,

Cyrill Schenkel <[email-masked]> skribis:

> I fixed the thing. It works for me now.
> The patch is attached.

Indeed.  I pushed a slightly different patch as 3b627ea.

Thanks for the report and patch!

Ludo’.