Martín Ferrari Thu, 30 Aug 2018 10:27:20 -0700
It took me a while to reproduce, as it seems to only happen with high CPU contention. I will see if I can fix the bug, or disable it otherwise.
-- Martín Ferrari (Tincho)