Re: BUG #16972: parameter parallel_leader_participation's category problem - Mailing list pgsql-bugs

From Bharath Rupireddy
Subject Re: BUG #16972: parameter parallel_leader_participation's category problem
Date
Msg-id CALj2ACV1armNAJx-VXoHm_D_wBvyxjPkcDfK3bApOqwMpmG7aA@mail.gmail.com
Whole thread Raw
In response to Re: BUG #16972: parameter parallel_leader_participation's category problem  (Michael Paquier <michael@paquier.xyz>)
List pgsql-bugs
On Thu, Apr 22, 2021 at 10:30 AM Michael Paquier <michael@paquier.xyz> wrote:
>
> 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

Thanks. I was able to install the required packages on my dev system,
ran "make check" on the docs and saw the error that was happening on
v2 patch.

With Regards,
Bharath Rupireddy.
EnterpriseDB: http://www.enterprisedb.com



pgsql-bugs by date:

Previous
From: Michael Paquier
Date:
Subject: Re: BUG #16972: parameter parallel_leader_participation's category problem
Next
From: Herwig Goemans
Date:
Subject: Re: BUG #16976: server crash when deleting via a trigger on a foreign table