Closed JochenHiller closed 6 years ago
Changes needed to publish R5.1.0 to Eclipse Nexus and Maven central
When OK I will squash all intermediate changes
I think this PR is now OK to be merged, to prepare the R5.1.0 release. Any objections @rellermeyer @tverbele ?
Changes needed to publish R5.1.0 to Eclipse Nexus and Maven central
When OK I will squash all intermediate changes