On Fri, Jan 26, 2018 at 11:17 AM, Robert Haas <[email protected]> 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
