From c70455ecec42c92b0ce8723e1d8a5fe3a355edea Mon Sep 17 00:00:00 2001
From: genie.releng
Date: Thu, 15 Feb 2018 20:08:47 -0500
Subject: Build input for build I20180215-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 0dd549dc7..a7c4a1559 160000
--- a/eclipse.platform.ui.tools
+++ b/eclipse.platform.ui.tools
@@ -1 +1 @@
-Subproject commit 0dd549dc731ba25dbf3fc45d1aa974e5962a07fd
+Subproject commit a7c4a155928d33df084ae3c4c587f9c237fb0141
-- 
cgit v1.2.1