On Wed, Aug 18, 2021 at 8:30 PM Junio C Hamano <gitster@xxxxxxxxx> wrote: > I do not care too much about how exactly the bug was introduced and > uncovered---it matters more that the end result has one fewer bug > thanks to the team effort. agreed. Just wanted to give context on my bungled "fixup!" subject. -- Han-Wen Nienhuys - Google Munich I work 80%. Don't expect answers from me on Fridays. -- Google Germany GmbH, Erika-Mann-Strasse 33, 80636 Munich Registergericht und -nummer: Hamburg, HRB 86891 Sitz der Gesellschaft: Hamburg Geschäftsführer: Paul Manicle, Halimah DeLaine Prado
