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:53 UTC

[petri] branch master updated (0d632b5 -> e9656cf)

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(+)

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

Posted by wa...@apache.org.

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(+)