Skip to content
GitLab
Explore
Sign in
Register
Refactor/minor fixes
Code
Review changes
Check out branch
Download
Patches
Plain diff
Georgy Moshkin
requested to merge
refactor/minor-fixes
into
master
Jun 20, 2022
Overview
0
Commits
4
Pipelines
5
Changes
3
Expand
Explicitly assert
leader_id
wasn't deinitialized.
More information debug for
Entry
Remove redundant allocation
Merge request reports