◐ Shell
clean mode source ↗

Message 383162 - Python tracker

I think I am closing the PR as it seems that the gains are not good enough (and there is quite a lot of noise by comparing the benchmarks together).