Hi, Well, I do not know what are the status of these patches. However, I think it would be better to send them to [email protected] instead of [email protected]. Whereas all contribution is very welcome whatever the mean, it eases the work if they go via the Patch Tracker.
See <https://guix.gnu.org/manual/devel/en/guix.html#Submitting-Patches>. Cheers, simon
