On Mon, Jun 15, 2020 at 5:30 PM Robert Munteanu <[email protected]> wrote: > ...Let's please start by collecting all the required changes in a wiki > page and seeing whether we have consensus on the change and whether we > think it has a positive impact for the project...
Big +1 to this, thank you Robert for spelling out in (tentative) detail the "lots of work" that I envisioned. -Bertrand
