Community
Participate
Working Groups
New Gerrit change created: https://git.eclipse.org/r/82503
Gerrit change https://git.eclipse.org/r/82503 was merged to [master]. Commit: http://git.eclipse.org/c/jdt/eclipse.jdt.core.git/commit/?id=d76062a956084a75762eaf6f7dacdec544779a5b
(In reply to Eclipse Genie from comment #2) > Gerrit change https://git.eclipse.org/r/82503 was merged to [master]. > Commit: > http://git.eclipse.org/c/jdt/eclipse.jdt.core.git/commit/?id=d76062a956084a75762eaf6f7dacdec544779a5b > Released, thanks Lars.
Verified for 4.7 M3.