Jeff King <peff@xxxxxxxx> writes: > On Mon, Oct 09, 2023 at 07:56:04PM +0200, Štěpán Němec wrote: > >> > Yup, that is a good suggestion. Do you want to wrap all of this >> > discussion up as a patch? >> >> Certainly, here it is. I just wanted to hash out some of the details >> first and found the plain text more fit for that purpose. > > This looks good to me. Thanks for taking the time to collect and fix all > of the issues. > > -Peff Thanks, both. Will take a look.
