On Jul 15, 2020, at 8:58 AM, Joachim Breitner <mail@joachim-breitner.de> wrote:

I suggest we accept that proposal.

+1

Yes, let's accept -- and if we act quickly, it can be so for 8.12.

Thanks,
Richard