Skip to content
GitLab
Explore
Sign in
Register
v9.0.1236
9cbf7919
·
patch 9.0.1236: code in same_leader() can be simplified
·
Jan 23, 2023