Hello,
Thanks for taking the time to file a report! (Even if it turned out to be
a non-issue)
Andy Tai <licheng...@gmail.com> writes:
> Never mind; after a new
>
> guix pull
>
>
> this no longer happens. Please close this bug
For future reference, to close a bug you can address your mail to
nnn-d...@debbugs.gnu.org, where nnn is the bug number in your
confirmation, as I have done with this mail.
>> > If you wish to submit further information on this problem, please
>> > send it to 49...@debbugs.gnu.org.
^^^^^
--
Sarah
