From: Junio C Hamano Date: Tue, 19 Sep 2017 01:18:42 GMT Subject: Re: What's cooking in git.git (Sep 2017, #03; Fri, 15) Message-ID: In-Reply-To: <44574AF3-D215-4486-B7AE-72F83CC934C5@gmail.com> Lars Schneider writes: > SZEDER noticing a bug in this series that I was about to fix: > https://public-inbox.org/git/3B175D35-5B1C-43CD-A7E9-85693335B10A@gmail.com/ > > I assume at this point a new patch is better than a re-roll, right? Thanks, yes indeed.