On Wed, Apr 13, 2016 at 2:21 PM, Julien Rouhaud <julien.rouh...@dalibo.com> wrote: >> I think we should go with "Workers Planned" and "Workers Launched", >> capitalized exactly that way, and lose "Number Of". > > Fixed > >> I would be inclined to view this as a reasonable 9.6 cleanup of >> parallel query, but other people may wish to construe things more >> strictly than I would. > > FWIW, I also see it as a reasonable cleanup.
Hearing no dissent, committed. -- Robert Haas EnterpriseDB: http://www.enterprisedb.com The Enterprise PostgreSQL Company -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers