On Wed, Feb 8, 2017 at 3:05 PM, Junio C Hamano <[email protected]> wrote: > - it hints that '!' is the more official spelling, making the > output you showed above acceptable.
Long term , I'd rather have ^ as the "official" spelling as that is easier to teach to people. ! being a historic mistake as it is hard to type?
