On 21/05/2021 10:29, Peter Levart wrote: > I still haven't found a scenario of a possible deadlock when Sergei's > initial patch is combined with... Sorry Aleksei, I renamed you to Sergei without intention. Please excuse me. Peter