Community
Participate
Working Groups
Merge BETA_JAVA13 branch into master after Java 13 GA.
New Gerrit change created: https://git.eclipse.org/r/149840
Gerrit change https://git.eclipse.org/r/149840 was merged to [master]. Commit: http://git.eclipse.org/c/jdt/eclipse.jdt.ui.git/commit/?id=a1ba73da009092285c1d3997a22d39ee502aebf9
(In reply to Eclipse Genie from comment #2) > Gerrit change https://git.eclipse.org/r/149840 was merged to [master]. > Commit: > http://git.eclipse.org/c/jdt/eclipse.jdt.ui.git/commit/ > ?id=a1ba73da009092285c1d3997a22d39ee502aebf9 Gerrit should not be built against Y build now.