> On 16 Jul 2019, at 09:46, Gert Doering <[email protected]> wrote:
> 
> I could also not see anyone speak up in a supportive way, so I'd consider
> this "sufficiently discussed, and no support to go for a formal proposal".

I agree.

Let's close this discussion and move on to the next Bad Idea.


Reply via email to