On Sat, 9 Sep 2017 at 13:15, Paul Richard Thomas <paul.richard.thomas@gmail.com> wrote: > > Dear All, > > The patch has been committed as revision 251925. > > I look forward to "feedback" (aka PRs) in the coming weeks. I will nit: s/uneeded/unneeded/ (as is this nit ;) cheers,