Back to bug 572376

Who When What Removed Added
genie 2021-03-28 14:25:49 EDT See Also https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/178473

Back to bug 572376