3 ms·

Very nice. I can imagine putting this into a pre push hook to keep things clean after an initial sweep.