Pushed https://git.savannah.gnu.org/cgit/guix.git/commit/?id=2f0644a8c024f589b9237e1d0fb1ce1025fa522f

It looks like it was merged already according to diffstat: 0 files
changed, 0 insertions, 0 deletions

--
Oleg