Skip to content

feat: stop the procedure manager if a new leader is elected#2576

Merged
killme2008 merged 6 commits intoGreptimeTeam:developfrom WenyXu:feat/meta-procedure-stopOct 18, 2023