bug#70838: guix pull fails

[Jeremiah]

> As pointed by Chris [1], this report seems a duplicate of #70663.  Now,
> it should be fixed.  Could you try again “guix pull” with a recent
> revision?

yes that guix pull was successful

-Jeremiah