Closed jdonkervliet closed 4 years ago
In GitLab by @julian9499 on Apr 24, 2020, 17:56
Merges feature/update-pom -> development
This merge request solves a few pom.xml problems:
In GitLab by @julian9499 on Apr 24, 2020, 18:06
merged
mentioned in commit fa4b85386d990abacc22f175b65464fe6e022d04
In GitLab by @julian9499 on Apr 24, 2020, 17:56
Merges feature/update-pom -> development
This merge request solves a few pom.xml problems: