3 ms·

Thanks to Paul for fixing this just now :) https://github.com/oilshell/oil/pull/988 https://github.com/oilshell/oil/pull/988