On 06/14/2017 01:24 PM, Olivier Hainque wrote:

I'm happy to try the patch.

That would bring useful extra datapoints, Thanks!

I now seem unable to trigger the race with an unpatched source. Sorry


--
Nathan Sidwell

Reply via email to