Andreas Enge <andreas@enge.fr> writes:

>> I am still curious what happened before, in case the previous error
>> appears again.
>
> Other people have experienced the same problem; apparently it was a bug
> that has been fixed in the meantime. So as "guix pull" finally succeeded,
> you should not see it again.

Okay, thanks for confirming that!  I hope it won't occur again.

/Simon