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.




Reply via email to