◐ Shell
clean mode source ↗

Message 80911 - Python tracker

FWIW, I'm also -1 on the proposed patch. While it does achieve what it
wants to achieve, I believe that the goal of the patch is undesirable.
It makes things worse, not better, by introducing the risk of race
conditions against other (native) threads - where currently, we would
get reproducable behavior.