bug#71808: Fwd: same package name for unrelated packages

[Nicolas Goaziou via Bug reports for GNU Guix]

Hello,


> Hi, this seems a serious issue and the change is trivial.  I hope
> someone can review the patch.

Applied. Thank you.

Regards,
-- 
Nicolas Goaziou