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:09:23 UTC

[petri] branch dave2wave-patch-1 deleted (was 456158f)

This is an automated email from the ASF dual-hosted git repository.

wave pushed a change to branch dave2wave-patch-1
in repository https://gitbox.apache.org/repos/asf/petri.git


     was 456158f  Update petri.rdf

The revisions that were on this branch are still contained in
other references; therefore, this change does not discard any commits
from the repository.