On Thu, Mar 11, 2021 at 7:02 PM Junio C Hamano [off-list ref] wrote:
Please squash this in to an appropriate step in your series;
otherwise it triggers a Coccinelle check when merged to 'seen'.
folded in, thanks.
--
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