Peace, On Sat, Apr 18, 2020 at 1:33 PM Gert Doering <[email protected]> wrote: > As I said, it was not necessary to have a third WG chair repeat the same > thing that Briand and Denis already said.
Gert, could we just procmail this folk so not to waste a few thousands of subscribers' time? I'd be grateful, for one, if we could. -- Töma
