On Friday, March 30, 2018, Bruce Momjian <bruce@momjian.us> wrote:
I looked at this patch and thought it was more a stylistic item rather than a correction. Is that right?