Skip to content

QQ: Handle undefined leader correctly in stat/2#15423

Merged
mkuratczyk merged 1 commit intomainfrom
qq-stat-use-find-leader-fix
Feb 9, 2026
Merged

QQ: Handle undefined leader correctly in stat/2#15423
mkuratczyk merged 1 commit intomainfrom
qq-stat-use-find-leader-fix

Conversation

@mkuratczyk
Copy link
Copy Markdown
Contributor

Follow-up to:
#15400

@mkuratczyk mkuratczyk merged commit cda44f5 into main Feb 9, 2026
291 checks passed
@mkuratczyk mkuratczyk deleted the qq-stat-use-find-leader-fix branch February 9, 2026 12:14
mergify bot pushed a commit that referenced this pull request Feb 9, 2026
michaelklishin added a commit that referenced this pull request Feb 9, 2026
QQ: Handle undefined leader correctly in stat/2 (backport #15423)
michaelklishin pushed a commit that referenced this pull request Feb 24, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants