On Tue, May 2, 2023 at 8:56 AM Junio C Hamano <gitster@xxxxxxxxx> wrote: > > Elijah Newren <newren@xxxxxxxxx> writes: > > > Although maybe I'll have to do it in a follow-on series? Junio merged > > the series to next today, so...I guess I'll just add it to my "header > > cleanups" notes. > > I am not Ævar, but it is so small a thing that is local to a single > file, we can wait until the dust settles to avoid distraction. Yup, sounds good to me. :-) I've got it on my todo list for continued cleanups.
