From 4b920511f7a37c920bce2ce7a80cfda3e2065b6f Mon Sep 17 00:00:00 2001
From: genie.releng
Date: Thu, 17 Aug 2017 20:10:37 -0400
Subject: Build input for build I20170817-2000

---
 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 daa4d71b8..1417f7716 160000
--- a/eclipse.platform.ui.tools
+++ b/eclipse.platform.ui.tools
@@ -1 +1 @@
-Subproject commit daa4d71b84155fb5f7c3146501a0dd3852806525
+Subproject commit 1417f77168ade5c6ad42f9ce3054ee7744a1db1b
-- 
cgit v1.2.3