1. 2022-07-30 Re: [PATCH v2 6/9] difftool docs: de-duplicate config git Matheus Tavares 2. 2022-07-29 [PATCH v2 6/9] difftool docs: de-duplicate configurat git Ævar Arnfjörð B