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

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