Back to bug 572762

Who When What Removed Added
carsten.hammer 2021-04-11 13:22:16 EDT See Also https://git.eclipse.org/r/c/jdt/eclipse.jdt.ui/+/178957
genie 2023-04-23 14:42:36 EDT Whiteboard stalebug

Back to bug 572762