Re: Post patch on nettle-bugs list