I'm not very comfortable pretending a +30k -7k change still is 1.37.

Well branch the 1.37.2 off the commit before ctags maybe.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.