Back to bug 566319

Who When What Removed Added
genie 2020-08-24 08:29:38 EDT See Also https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/168139

Back to bug 566319