Open ujhelyiz opened 3 months ago
PR was initialized from https://git.eclipse.org/r/c/viatra/org.eclipse.viatra/+/197358, rebased over current master branch.
@szabta89, @bergmanngabor Please verify that everything is as needed and if there are discussions in the Gerrit change that is necessary to be kept indefinitely please copy it into this PR. Thanks.
PR was initialized from https://git.eclipse.org/r/c/viatra/org.eclipse.viatra/+/197358, rebased over current master branch.
@szabta89, @bergmanngabor Please verify that everything is as needed and if there are discussions in the Gerrit change that is necessary to be kept indefinitely please copy it into this PR. Thanks.