This is an automated email from the ASF dual-hosted git repository. wave pushed a commit to branch master in repository https://gitbox.apache.org/repos/asf/petri.git
commit e9656cff22650889aede45eb6dc3660bdcf31b51
Merge: 0d632b5 456158f
Author: Dave Fisher <dave2w...@comcast.net>
AuthorDate: Sat Sep 16 10:03:49 2023 -0700
Merge pull request #45 from apache/dave2wave-patch-1
Update petri.rdf
content/petri.rdf | 7 +++++++
1 file changed, 7 insertions(+)
