Description
Jörg Kubitz
2021-11-01 10:05:27 EDT
Gerrit change https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/187208 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=380263fbd903a0b44df8e0d5011ab88040b99d5e Gerrit change https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/187209 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=8237d7e4a99bca1be54c9db1b25006d4dba1ec6d Gerrit change https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/187210 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=916ffcff03f35541806d95972e229f66a8cedc39 Gerrit change https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/187211 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=fa6047d670847cc88432f8f542e1dc189bde9d1f |