2 ms·

I tracked it down to this PR from September 2022, so it's been around for a while: https://github.com/pyodide/pyodide/pull/2976 https://github.com/pyodide/pyodi

by simonw 1y ago

I tracked it down to this PR from September 2022, so it's been around for a while: https://github.com/pyodide/pyodide/pull/2976 https://github.com/pyodide/pyodide/pull/2976