Horton

Re: BUG #16972: parameter parallel_leader_participation's category problem

Michael Paquier <michael@paquier.xyz>

View thread View on postgr.es
From: Michael Paquier <michael@paquier.xyz>
To: Bharath Rupireddy <bharath.rupireddyforpostgres@gmail.com>
Cc: leiyanliang@highgo.com, pgsql-bugs@lists.postgresql.org
Date: 2021-04-22T05:00:14Z
Lists: pgsql-bugs 
On Thu, Apr 22, 2021 at 06:32:57AM +0530, Bharath Rupireddy wrote:
> Thanks for the correction! I never compiled doc changes, I will ensure to
> do so from now on.

That may help:
https://www.postgresql.org/docs/devel/docguide-toolsets.html

It is worth noting that when doing patches for stable branches, the
set of dependencies for ~10 is different than what's used for
11~HEAD.
--
Michael

Commits

  1. doc: Move parallel_leader_participation to its correct category