Back to bug 573785

Who When What Removed Added
genie 2021-05-26 09:12:28 EDT See Also https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/181045

Back to bug 573785