Back to bug 578213

Who When What Removed Added
ma.becker 2023-08-11 02:00:24 EDT CC ma.becker
ma.becker 2023-08-11 02:00:29 EDT See Also https://github.com/eclipse-platform/eclipse.platform.ui/issues/1002

Back to bug 578213