Re: What's cooking in git.git (Sep 2017, #03; Fri, 15)

[Junio C Hamano]

Lars Schneider <larsxschnei...@gmail.com> writes:

> SZEDER noticing a bug in this series that I was about to fix:
> https://public-inbox.org/git/3b175d35-5b1c-43cd-a7e9-85693335b...@gmail.com/
>
> I assume at this point a new patch is better than a re-roll, right?

Thanks, yes indeed.