On Sat, Jun 16, 2018 at 09:50:54AM +0300, pierre-philipp braun wrote: > Should I report a bug or can you help me right now? Should I provide > some additional information?
I think this was fixed in git but not yet released as 1.0.13. -- Valentin _______________________________________________ Developers mailing list Developers@clusterlabs.org https://lists.clusterlabs.org/mailman/listinfo/developers
