update for GME 4.7.2

eclipse-embed-cdt · Jan 27, 2020 · b7f93b3 · b7f93b3
1 parent ef57662
commit b7f93b3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/releng/org.eclipse.epp.config/parent/pom.xml b/releng/org.eclipse.epp.config/parent/pom.xml
@@ -48,7 +48,7 @@
     <!-- <gnumcueclipse.repository>http://gnu-mcu-eclipse.netlify.com/v4-neon-updates-test</gnumcueclipse.repository> -->
     <!-- <gnumcueclipse.repository>http://gnu-mcu-eclipse.netlify.com/v4-neon-updates-experimental</gnumcueclipse.repository> -->
     <gnumcueclipse.repository>http://gnu-mcu-eclipse.netlify.com/v4-neon-updates</gnumcueclipse.repository>
-    <gnumcueclipse.version>4.7.1</gnumcueclipse.version>
+    <gnumcueclipse.version>4.7.2</gnumcueclipse.version>
   </properties>
 
   <prerequisites>