Hi, Well, I do not know what are the status of these patches. However, I think it would be better to send them to guix-patc...@gnu.org instead of help-guix@gnu.org. 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
