Back to bug 571372

Who When What Removed Added
wim.jongman 2021-02-19 14:17:05 EST CC rolf.theunissen
genie 2021-02-21 08:15:06 EST See Also https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/176576

Back to bug 571372