5 ms·

That was quick. Good job github team!