On Tue, Apr 28, 2020 at 10:21 PM Han-Wen Nienhuys [off-list ref] wrote:
I've added a doc comment.
I've pushed these fixes to
https://github.com/gitgitgadget/git/pull/539. Should I be sending new
patches over email for each review round?
--
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