Back to bug 566171

Who When What Removed Added
genie 2020-08-18 16:56:21 EDT See Also https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/167923

Back to bug 566171