On Wed, Apr 13, 2016 at 10:20:28PM +0200, Federico Reghenzani wrote: > Ok, we can say that the patch fixes the bug: never happened again in > hundreds executions. > Thanks! Thanks a huge for testing, Federico!