3 ms·yeah it’s pure pedantry, the worst thing to introduce to pr reviewsby micromacrofoot 5y agoyeah it’s pure pedantry, the worst thing to introduce to pr reviews