Medium: ticket: drop expired tickets in elections too (gh#17)
Description
Description
Details
Details
- Provenance
Dejan Muhamedagic <dejan@suse.de> Authored on Aug 6 2014, 8:09 AM - Parents
- rB6683248021ff: Dev: test: relax timing in split_leader
- Branches
- Unknown
- Tags