Back to bug 567972

Who When What Removed Added
genie 2020-10-18 10:18:13 EDT See Also https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/170910
karsten.thoms 2020-10-18 10:35:20 EDT Depends on 567905
tellastory73 2020-10-18 14:26:18 EDT CC tellastory73

Back to bug 567972