From dada4b72035c1d78ad68b46ef2c140b0c62eeda3 Mon Sep 17 00:00:00 2001
From: genie.releng
Date: Tue, 13 Feb 2018 20:08:53 -0500
Subject: Build input for build I20180213-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 ee802b385..7ca877ed5 160000
--- a/eclipse.platform.ui.tools
+++ b/eclipse.platform.ui.tools
@@ -1 +1 @@
-Subproject commit ee802b3858fb6069e3fabb3dba8b3e29e83ba87d
+Subproject commit 7ca877ed5a9cb79e8c95b40e4d7c18abf6a9d67a
-- 
cgit v1.2.3