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

[Ludovic Courtès]

Hi,

Cyrill Schenkel <cyrill.schen...@googlemail.com> 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’.