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

Thanks for the correction! I never compiled doc changes, I will ensure to
do so from now on.

Regards,
Bharath Rupireddy.

On Thu, Apr 22, 2021, 6:27 AM Michael Paquier <michael@paquier.xyz> wrote:

> On Wed, Apr 21, 2021 at 05:07:37PM +0530, Bharath Rupireddy wrote:
> > +1. Attached v2.
>
> This patch broke the compilation of the docs as you moved the
> <varlistentry> for backend_flush_after before <variablelist>.  Fixed
> that, then applied the patch.
>
> Thanks,
> --
> Michael