On Sun, Mar 9, 2025 at 6:23 PM Tom Lane <t...@sss.pgh.pa.us> wrote: > Ah. Most likely somebody dismissed it years ago. Given that > precedent, I'm content to dismiss this one too.
It is dead code, unless somebody decides to #define DISABLE_LEADER_PARTICIPATION to debug a problem. -- Peter Geoghegan
