Opening a pull request will send a notification to the mailing list, so that should get noticed the same as opening a JIRA.
Excellent, thanks! Will also have a closer look at the developer tips. - Bram --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
