Split synchronization helpers in CrowbarPacemakerSynchronization module
Merge pull request #68 from vuntz/move-sync

Split synchronization helpers in CrowbarPacemakerSynchronization module