On Wed, 26 Apr 2017 16:39:19 +0200 Marius Bakke wrote: > > Takk! Pushed as b63106089a1eb2ac76303886f926f74967879386. > > By the way, patches should now be sent to the new "guix-patches@gnu.org" > issue tracker. :-) Supert! :) Yes, I realized this a couple of days ago. I'll write an e-mail discussing the state of this in the online manual. Best, Petter