This is an automated email from the ASF dual-hosted git repository. wave pushed a change to branch master in repository https://gitbox.apache.org/repos/asf/petri.git
from 0d632b5 s/petri.yaml/info.yaml/ add 456158f Update petri.rdf new e9656cf Merge pull request #45 from apache/dave2wave-patch-1 The 1 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "add" were already present in the repository and have only been added to this reference. Summary of changes: content/petri.rdf | 7 +++++++ 1 file changed, 7 insertions(+)