Re: [jdt-dev] BETA_JAVA20 merge in progress

[Gayan Perera <gayanper@xxxxxxxxx>]

Hi Andrey,

Is it open for merging now. I see that Java20 is merged and have another PR merged after that as well.

Best regards,

Gayan. 

On Thu, 23 Mar 2023 at 20:53, Andrey Loskutov <loskutov@xxxxxx> wrote:

Hi,

We plan to merge BETA_JAVA20 branch to master ASAP.

Please don't merge ANY PR's to master in ALL jdt repositories as long as BETA_JAVA20 branch merge is not complete.

See https://github.com/eclipse-jdt/eclipse.jdt.core/issues/897

--
Kind regards,
Andrey Loskutov

Спасение утопающих - дело рук самих утопающих

https://www.eclipse.org/user/aloskutov
_______________________________________________
jdt-dev mailing list
jdt-dev@xxxxxxxxxxx
To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/jdt-dev