HomeClusterLabs Projects
Diffusion Booth b69ef3bd6cf9

Dev: ticket: rename client ticket operations

Description

Dev: ticket: rename client ticket operations

Details

Provenance
Dejan Muhamedagic <dejan@suse.de>Authored on May 4 2014, 12:32 PM
Parents
rBfd24bdf6f384: Dev: raft: separate INIT and FOLLOWER states
Branches
Unknown
Tags
Unknown

Event Timeline