On Sat, May 9, 2020 at 3:19 PM Tomas Vondra
<[email protected]> wrote:
> I'm generally OK with most of this - I'd probably keep the single-line
> format, but I don't feel very strongly about that and if others think
> using two lines is better ...
>
> Barring objections I'll get this polished and pushed soon-ish (say,
> early next week).
I see something about starting a new thread on the Open Items page.
Please CC me on this.
Speaking in my capacity as an RMT member: Glad to see that you plan to
close this item out next week. (I had planned on giving you a nudge
about this, but it looks like I don't really have to now.)
Thanks
--
Peter Geoghegan
