commit 6b795c74e2c8c8c217626a2972b921f8b465067f
author marchettim <mmarchetti@sandvine.com> Fri Nov 10 18:15:21 2017 +0200
committer marchettim <mmarchetti@sandvine.com> Fri Nov 10 18:15:21 2017 +0200
tree c8dfc21271c854f3baca999152272760e85afc03
parent 38bdcea60afaa661a864febd74db3327a2e7b73c

Revert "BUG 410 -- update to new platform"

This reverts commit 38bdcea60afaa661a864febd74db3327a2e7b73c.

Change-Id: I89bc0bdcaf30967c529e6ae003bb94f72571a8e9

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