fix: fixed bug when leader change at start_join would crash the joining

Closes #157 (closed)

changed milestone to %Picodata 2023-06

added 1 commit

• d27a1df3 - fix: fixed bug when leader change at start_join would crash the joining

Compare with previous version

added 1 commit

• a40e7861 - fix: fixed bug when leader change at start_join would crash the joining

Compare with previous version

added 1 commit

• 80833f6d - fix: fixed bug when leader change at start_join would crash the joining

Compare with previous version

added 1 commit

• 3c3baab9 - fix: fixed bug when leader change at start_join would crash the joining

Compare with previous version

resolved all threads

approved this merge request

added 9 commits

• 3c3baab9...410d25dc - 8 commits from branch master
• d55a344e - fix: fixed bug when leader change at start_join would crash the joining

Compare with previous version

enabled an automatic merge when the pipeline for d55a344e succeeds

merged