commit 6bb178905b9203488569cdcb6c88342c53b73ff1
author marchettim <mmarchetti@sandvine.com> Fri Nov 10 17:18:34 2017 +0100
committer Gerrit Code Review <root@osm.etsi.org> Fri Nov 10 17:18:34 2017 +0100
tree 7c25eef449ade0cb4acc300f5ee51fb762cefa9a
parent e309737ac40afbd6bca0736a33383a8b9283758f
parent 6b795c74e2c8c8c217626a2972b921f8b465067f

Merge "Revert "BUG 410 -- update to new platform""

jenkins/SO/install

diff --git a/jenkins/SO/install b/jenkins/SO/install
index 1292826..7000c8e 100755
--- a/jenkins/SO/install
+++ b/jenkins/SO/install
@@ -36,7 +36,7 @@
 ###############################################################################
 # Set up repo and version
 PLATFORM_REPOSITORY=OSM3
-PLATFORM_VERSION=5.2.0.3.73627
+PLATFORM_VERSION=5.2.0.2.72254
 
 while getopts ":P:V:h" o; do
     case "${o}" in

jenkins/UI/install

diff --git a/jenkins/UI/install b/jenkins/UI/install
index 3528cb5..33f651f 100755
--- a/jenkins/UI/install
+++ b/jenkins/UI/install
@@ -38,7 +38,7 @@
 ###############################################################################
 # Set up repo and version
 PLATFORM_REPOSITORY=OSM3
-PLATFORM_VERSION=5.2.0.3.73627
+PLATFORM_VERSION=5.2.0.2.72254
 
 while getopts ":P:V:h" o; do
     case "${o}" in