Open seiferma opened 2 years ago
This PR addresses EDITORS-294.
We should not merge this PR before releasing Palladio 5.1 because it changes a quite important piece of code and should, therefore, be covered by manual test cases on a testing day.
This PR addresses EDITORS-294.