From 7973ab44ee61ca2a2e238c08f261906b0e7ae6f9 Mon Sep 17 00:00:00 2001
From: genie.releng
Date: Wed, 14 Nov 2018 10:57:32 -0500
Subject: Build input for build I20181114-1050

---
 eclipse.platform.ui.tools | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'eclipse.platform.ui.tools')

diff --git a/eclipse.platform.ui.tools b/eclipse.platform.ui.tools
index 4bcca2374..f37c9d476 160000
--- a/eclipse.platform.ui.tools
+++ b/eclipse.platform.ui.tools
@@ -1 +1 @@
-Subproject commit 4bcca2374cb6e36e92b3d1b35525adcd557825be
+Subproject commit f37c9d4765e1d65077b4e762f11d1f431dda3efd
-- 
cgit v1.2.1