Hi, On Wed, 12 Feb 2020, Glenn Strauss via GitGitGadget wrote: > [Edited to reflect refined commit. v1 and v2 were originally submitted > via submitGit] For the record: I think only v1 was submitted via submitGit so far: https://public-inbox.org/git/01020166b80743cd-0b220d55-a283-456b-a3c3-bdea8aafed8a-000000@xxxxxxxxxxxxxxxxxxxxxxx/ Ciao, Johannes