One last thing before pushing. :) Following the http://lists.gnu.org/archive/html/guix-devel/2015-07/msg00235.html discussion, I want to know if the usage of the email address <g...@clacke.user.lysator.liu.se> instead of <claes.wal...@greatsinodevelopment.com> in your patch was intentionnal?
If not, please send an updated patch that uses your usual address. Else indicate which address you want to be added to 'AUTHORS'. -- Mathieu Lirzin PS: There is no need to use "git send-mail ..." here. Just attach the file generated by "git format-patch origin/master" to your answer.