Re: PG13: message style changes

2020-11-07 Thread Alvaro Herrera
Thanks for looking! Pushed.

Re: PG13: message style changes

2020-11-06 Thread Michael Paquier
On Sat, Nov 07, 2020 at 12:49:43AM -0300, Alvaro Herrera wrote: > In 0001, I propose changing messages that were introduced as different > for parallel vacuum workers. Frankly I don't understand why we are > bragging about the vacuum being done in a parallel worker; does the user > care? It seem

PG13: message style changes

2020-11-06 Thread Alvaro Herrera
I propose to apply the following changes to messages in pg13. In 0001, I propose changing messages that were introduced as different for parallel vacuum workers. Frankly I don't understand why we are bragging about the vacuum being done in a parallel worker; does the user care? It seems to me t