Community
Participate
Working Groups
_buildnotes_jdt-core.html seems outdated. I suggest to remove it, similar to the change in Bug 468391.
New Gerrit change created: https://git.eclipse.org/r/50199
JDT core team, what do you think?
Lars, I agree we no longer need the build notes. I will release the fix in master. But not sure it is worth back porting this.
Thanks, backport is definitely not rquired.
Released in master: http://git.eclipse.org/c/jdt/eclipse.jdt.core.git/commit/?id=23d031b1b77753b1109ce0253088a2b7f49a7000
Verified for 4.6 M1 by inspection