Marcus Holland-Moritz wrote:
> > There were two problems with threaded builds, for which
> > I just commited a fix (change #22896).
> 
> Err, three. Fixed by #22897.

Err, thanks !

Reply via email to