mirror of
https://github.com/neondatabase/neon.git
synced 2026-05-14 11:40:38 +00:00
I still don't like the surroundings and feel we'd better get away without using election API at all, but this is a quick fix to keep CI green. ref #1815