Thank you.

On Fri, Jun 1, 2018 at 12:20 PM, Rutger Helling <rhelling@mykolab.com> 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.