On 11/8/18, David Rowley <david.row...@2ndquadrant.com> wrote: > On 8 November 2018 at 22:46, Peter Eisentraut > <peter.eisentr...@2ndquadrant.com> 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
