On Fri, Jan 26, 2018 at 11:17 AM, Robert Haas <robertmhaas(at)gmail(dot)com> wrote:
> Hmm, I like the idea of making it a #define instead of having it
> depend on parallel_leader_participation. Let's do that. If the
> consensus is later that it was the wrong decision, it'll be easy to
> change it back.
WFM.
--
Peter Geoghegan