On 30/05/18 09:47, Waiman Long wrote:[...]> Yes, it is a bug in the existing code. I have sent out a patch to fix that.Cool, thanks. I'll have a look.