Back to bug 561399

Who When What Removed Added
genie 2020-03-24 04:24:03 EDT See Also https://git.eclipse.org/r/159923
genie 2020-03-24 09:38:50 EDT See Also https://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=1e37691812039d9ae95759b49db1a4d9dbae2493

Back to bug 561399