Back to bug 567384

Who When What Removed Added
carsten.hammer 2021-10-24 13:43:58 EDT See Also https://git.eclipse.org/r/c/jdt/eclipse.jdt.ui/+/186866
genie 2023-10-16 12:19:22 EDT Whiteboard stalebug

Back to bug 567384