Hi Sergiu,
> 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? Yes. > Should I CC bug-g...@gnu.org in such cases? No. Thank you! -- Ricardo