]> git.pond.sub.org Git - empserver/search
(switch_leader): Generalize the code, no functional changes.