Re: [Savonet-users] Sys_error("Condition.wait: Operation not permitted")

[David Baelde]

Please forget what I just said: this is of course a new issue, and
older code didn't use Condition.wait.