bug#71967: Issue can be closed.

[Tobias Geerinckx-Rice via Bug reports for GNU Guix]

Hi,

Done, but next time, you can close it yourself by changing the address from

  71...@debbugs.gnu.org

to

  71967-d...@debbugs.gnu.org

before you reply.

Kind regards,

T G-R

Sent on the go.  Excuse or enjoy my brevity.