|
From: Julian S. <js...@ac...> - 2014-08-19 22:15:49
|
On 08/19/2014 02:31 PM, Jan Včelák wrote: > I believe the problem originates in some kind of race. Try --fair-sched=yes to see if you can reproduce the problem more often and/or more reliably. J |