Thanks for finding, fixing and replying so quickly!
Michael
> On 24 Apr 2016, at 21:36, David Matthews
> wrote:
>
> Thanks for attempting to cut down the problem. I had a sense of déjà vu
> here. A while back I fixed a bug in OS.Process.sleep that was exactly
Yes please do update the fixes branch :)
On 24 Apr 2016 21:41, "David Matthews"
wrote:
> Thanks for attempting to cut down the problem. I had a sense of déjà vu
> here. A while back I fixed a bug in OS.Process.sleep that was exactly this
> problem but it seems
Thanks for attempting to cut down the problem. I had a sense of déjà vu
here. A while back I fixed a bug in OS.Process.sleep that was exactly
this problem but it seems that the bug was left in Posix.Process.sleep.
I've committed a fix to git master that seems to fix it. It could be
worth