On Wed, 2016-10-19 at 23:01 +0800, Baozeng Ding wrote: > Hello all, > I have got some similar bugs again((on Oct 7 commit > d1f5323370fceaed43a7ee38f4c7bfc7e70f28d0):
Thanks for the reports, but please there is no need to send duplicates. I have an idea of the problem, will send a patch asap, after a bit of sleep.