--- old/releng/platform-definitions/pom.xml 2019-01-10 16:02:31.000000000 +0100
+++ new/releng/platform-definitions/pom.xml 2019-01-10 16:02:31.000000000 +0100
@@ -36,7 +36,7 @@
org.openjdk.jmc
missioncontrol.releng
- 7.0.0-SNAPSHOT
+ 7.1.0-SNAPSHOT
platform-definitions
pom