On Fri, Jan 26, 2018 at 11:17 AM, Robert Haas <robertmh...@gmail.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
