Back to bug 562036

Who When What Removed Added
karsten.thoms 2020-04-12 21:43:26 EDT CC karsten.thoms
genie 2020-04-13 09:06:34 EDT See Also https://git.eclipse.org/r/160808
genie 2020-04-14 09:58:42 EDT See Also https://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=b1e0aa7da2515ebbdcbaf20a69de9f153c9d5b7f

Back to bug 562036