[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
|
Re: [jdt-dev] BETA_JAVA20 merge in progress
|
Yes, sure, see the (linked and meanwhile closed) ticket and comments there.
Am 23. März 2023 21:49:35 MEZ schrieb 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
>>
--
Kind regards,
Andrey Loskutov
https://www.eclipse.org/user/aloskutov
Спасение утопающих - дело рук самих утопающих
