On Sat, Aug 18, 2018 at 01:34:09PM +0200, Tobias Geerinckx-Rice wrote: > Pjotr, Leo, Guix, > > Pjotr Prins wrote: > > Someone still needs to push the patch. > > I went ahead and did so in 399c5fafcdb2d0c13ab51e4ab57d451d2c7cb1bd > since it's not really acceptable to have this broken in master.
It has been broken for a while. And, miracle, guix pull just worked :) Thanks Tobias, Björn and Leo! Pj.
