HomeClusterLabs Projects

Merge pull request #1180 from wferi/colon

Description

Merge pull request #1180 from wferi/colon

Colon

Details

Provenance
kgaillotAuthored on Nov 21 2016, 11:31 AM
GitHub <noreply@github.com>Committed on Nov 21 2016, 11:31 AM
Parents
rP8c4d81a2a8fb: Don't report error if the output file isn't syncable
rP7bffbaa79b4e: Merge pull request #1177 from ClusterLabs/1.1
Branches
Unknown
Tags
Unknown

Event Timeline