Control: tags -1 + patch

Hi,

Your feedback on the attached patch would be appreciated.

The patch should probably be part of core-updates. ("Building the
following 7431 packages would ensure 15670 dependent packages are
rebuilt.")

> So contributors themselves do not need to know about guix-mentors,
> right?  (My initial understanding was that they’d explicitly email
> guix-mentors in addition to guix-patches.)

> Your initial understanding is correct.

This message was sent in parallel to guix-mentors and to guix-patches.

I have submitted patches before, but self-identify as a new contributor. Thanks!

Kind regards
Felix Lechner