Hi, I ran into https://issues.guix.gnu.org/52585 on my Guix System. I therefore sent an E-mail to 52...@debbugs.gnu.org , as suggested on the page, in which I give some more details about the issue.
Is this the proper way to interact with an issue on the issue tracker? Should I CC bug-g...@gnu.org in such cases? - Sergiu
