On Sun, Apr 15, 2018 at 01:54:13PM +0200, Magnus Hagander wrote:> I have applied this patch along with the documentation patch from Michael.
Thanks, I saw the commits. That's fine by me.--Michael