discuss@petri.apache.org list: 182 new emails
commits@petri.apache.org list: 679 new emails
private@petri.apache.org list: 4 new emails