Switch to Eclipse Platform 4.7.2 release URL
Change-Id: I462ea538a4d189165b004ad528887a45f9340ae1
Signed-off-by: Markus Knauer <mknauer@eclipsesource.com>
diff --git a/releng/org.eclipse.rap.build/pom.xml b/releng/org.eclipse.rap.build/pom.xml
index e08d09d..f359df4 100644
--- a/releng/org.eclipse.rap.build/pom.xml
+++ b/releng/org.eclipse.rap.build/pom.xml
@@ -31,7 +31,7 @@
<cbi-plugins.version>1.1.2</cbi-plugins.version>
<jetty-repo.url>http://download.eclipse.org/jetty/updates/jetty-bundles-9.x/9.4.7.v20170914/</jetty-repo.url>
<orbit-repo.url>http://download.eclipse.org/tools/orbit/downloads/drops/R20170919201930/repository/</orbit-repo.url>
- <platform-repo.url>http://download.eclipse.org/eclipse/updates/4.7-M-builds/M-4.7.2RC4-201711300510/</platform-repo.url>
+ <platform-repo.url>http://download.eclipse.org/eclipse/updates/4.7/R-4.7.2-201711300510/</platform-repo.url>
<rap-extra-repo.url>http://build.eclipse.org/rt/rap/base-platforms/3.4/extra-dependencies/</rap-extra-repo.url>
<license-repo.url>http://download.eclipse.org/cbi/updates/license/</license-repo.url>
<!-- The build type, N for nighty builds, S for stable builds. S-builds will be signed. -->
