Hi Philippe, On Sun, 3 Jan 2021 at 18:42, Philippe Blain via GitGitGadget <gitgitgadget@xxxxxxxxx> wrote: > > Changes since v1: > > * added Martin's suggestions Yup, this looks good to me. Martin
Hi Philippe, On Sun, 3 Jan 2021 at 18:42, Philippe Blain via GitGitGadget <gitgitgadget@xxxxxxxxx> wrote: > > Changes since v1: > > * added Martin's suggestions Yup, this looks good to me. Martin