5 ms·It’s shorter, but it’s a change. If it was main historically it’d be annoying to change it to master now.by nailer 6y agoIt’s shorter, but it’s a change. If it was main historically it’d be annoying to change it to master now.