Hi,

I've rebased and merged python-team to master, pushed and delete after
that.

https://git.savannah.gnu.org/cgit/guix.git/commit/?id=e417d6fe8182c0b42b113490fec6a0297fd68fed

--
Oleg