On Sun, 04 Feb 2018 21:22:09 +1100 (AEDT), "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote: > I plan to commit this at the end of monday; anyone who objects > should do so (or ask for more thinking time) before then. I got no objections, so I committed the diff. Zoltan.