Open ujhelyiz opened 6 months ago
This PR was initialized from the Gerrit change https://git.eclipse.org/r/c/viatra/org.eclipse.viatra/+/129938 and should be related to ticket #89 in Github.
Given it required non-trivial merges, I have not rebased it over current master, @bergmanngabor please ensure if there is something on Gerrit related this PR that is important to kept indefinitely please copy it to this PR.
This PR was initialized from the Gerrit change https://git.eclipse.org/r/c/viatra/org.eclipse.viatra/+/129938 and should be related to ticket #89 in Github.
Given it required non-trivial merges, I have not rebased it over current master, @bergmanngabor please ensure if there is something on Gerrit related this PR that is important to kept indefinitely please copy it to this PR.