On 11/8/18, David Rowley <[email protected]> wrote: > On 8 November 2018 at 22:46, Peter Eisentraut > <[email protected]> wrote: >> Could you adjust this to use fewer capital letters, unless they start >> sentences or similar? > > Yeah. Changed in the attached.
Looks good to me. Since there have been no new suggestions for a few days, I'll mark it ready for committer. -John Naylor
