diff --git a/jenkins/SO/install b/jenkins/SO/install
index 651c303..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.2.72174
+PLATFORM_VERSION=5.2.0.2.72254
 
 while getopts ":P:V:h" o; do
     case "${o}" in
diff --git a/jenkins/UI/install b/jenkins/UI/install
index 15e6bbe..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.2.72174
+PLATFORM_VERSION=5.2.0.2.72254
 
 while getopts ":P:V:h" o; do
     case "${o}" in