Revision 7219d3cd
ID | 7219d3cd161e8135e6489477eeb8e3647eb06959 |
Parent | 47a03f1b |
Child | fe987d1b |
B : Prevent race-condition when leader-follower transitions
Files
- added
- modified
- copied
- renamed
- deleted
ID | 7219d3cd161e8135e6489477eeb8e3647eb06959 |
Parent | 47a03f1b |
Child | fe987d1b |
Added by Ruben S. Montero almost 4 years ago
B : Prevent race-condition when leader-follower transitions