Thank you. On Fri, Jun 1, 2018 at 12:20 PM, Rutger Helling wrote: > Thanks for this! You forgot to add a commit log and to add the patch to > gnu/local.mk. I've made those changes and pushed your patch. >