From b7f93b353720d1817e556591de6c545000f7a7c8 Mon Sep 17 00:00:00 2001
From: Liviu Ionescu <ilg@livius.net>
Date: Mon, 27 Jan 2020 15:14:02 +0200
Subject: [PATCH] update for GME 4.7.2

---
 releng/org.eclipse.epp.config/parent/pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/releng/org.eclipse.epp.config/parent/pom.xml b/releng/org.eclipse.epp.config/parent/pom.xml
index 4c50e3b2..1863af8b 100644
--- 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>