Closed cmorty closed 2 years ago
This fixes https://bugs.eclipse.org/bugs/show_bug.cgi?id=571112
@laeubi : Could you also put this Repo to "Archived", so that it's not possible to open PRs oder Issues?
This fixes https://bugs.eclipse.org/bugs/show_bug.cgi?id=571112