Back to bug 565348

Who When What Removed Added
carsten.hammer 2020-07-25 13:50:07 EDT Version 4.16 4.17
genie 2020-07-29 15:55:24 EDT See Also https://git.eclipse.org/r/c/jdt/eclipse.jdt.ui/+/167024

Back to bug 565348