On Fri, 4 Oct 2019, Zoltan Somogyi wrote: > On Fri, 4 Oct 2019 15:02:52 +1000, Peter Wang <novalazy at gmail.com> wrote: >>> No objection from me. >> >> Nor from me. > > Ok, the attached diff does the first step of this change. > > For post-commit review by either of you. That looks fine. Julien.