Build input for build I20240820-1800

Eclipse Releng Bot · Eclipse Releng Bot · commit b39b5552e8f9 · 2024-08-20T22:04:17.000Z
diff --git a/eclipse.platform.ui b/eclipse.platform.ui
@@ -1 +1 @@
-Subproject commit 0bf8ce2756d860078b222982256a30e765d6e29d
+Subproject commit a801237c2fe43f2b05b9b7f9fafd608db0b48726
