v9.0.1236
9cbf7919 · patch 9.0.1236: code in same_leader() can be simplified ·