From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 25 Jul 2016 16:16:36 GMT
Subject: Re: git-prompt.sh incompatible with non-basic global grep.patternType
Message-ID: <xmqqshux7kwr.fsf@gitster.mtv.corp.google.com>
In-Reply-To: <CAPig+cSw2t36n3ir61BhcMbSVMYoTVrYwbyGVSPcLoGnwR4w2w@mail.gmail.com>

Eric Sunshine <sunshine@sunshineco.com> writes:

>> Later when the grep API was used in revision graversal machinery,
>
> s/graversal/traversal/

Thanks.