Back to bug 545239

Who When What Removed Added
genie 2020-04-09 08:19:25 EDT See Also https://git.eclipse.org/r/160709
philippe.dul 2020-04-09 08:51:50 EDT CC philippe.dul
genie 2020-04-14 09:56:36 EDT See Also https://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=348af87b4875b9835552ff22e91e8cead44abfe9

Back to bug 545239