Build input for build I20200805-0750
diff --git a/eclipse.platform.ui b/eclipse.platform.ui
index 1caa6b3..6b7cec5 160000
--- a/eclipse.platform.ui
+++ b/eclipse.platform.ui
@@ -1 +1 @@
-Subproject commit 1caa6b3bd944da841570142e9facfe2c65273bae
+Subproject commit 6b7cec5ba2e44cd5a74588fddc9968e3ce54b1dd