On Thu, Aug 01, 2024 at 06:14:54AM -0400, Jeff King wrote: > Nice description of the history. I wish all patches which said "eh, this > is unused, let's remove it" went to the same trouble to make sure we > aren't missing something subtle. :-), thanks. > -Peff Thanks, Taylor
