You are viewing a plain text version of this content. The canonical link for it is here.

Posted to commits@petri.apache.org by wa...@apache.org on 2023/09/16 17:03:54 UTC

[petri] 01/01: Merge pull request #45 from apache/dave2wave-patch-1

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 <da...@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(+)