On Sun, Sep 08, 2019 at 12:25:27PM +0200, Matthias Andree wrote: > You've made your point, now please leave the lobby.
My take was that just ignoring the redundant repetition would
probably suffice. Your forceful pushback was perhaps premature,
but so be it.
In any case, THREAD CLOSED. Let's move on.
--
Viktor.
