This is an automated email from the ASF dual-hosted git repository. wave pushed a change to branch create-pull-request/patch in repository https://gitbox.apache.org/repos/asf/petri.git
was 6af7413 Merge pull request #50 from apache/create-pull-request/patch
The revisions that were on this branch are still contained in
other references; therefore, this change does not discard any commits
from the repository.
