Hi, Since Corosync is hosted on GitHub, I wonder if it's enough to submit pull requests/issues/patch comments there to get the developers' attention, or should I also post to developers at clusterlabs.org? -- Thanks, Feri.