Re: [jakartaee-platform-dev] Looking for people who can merge on ORB pro

[arjan tijms <arjan.tijms@xxxxxxxxx>]

Hi,

On Sat, Feb 13, 2021 at 2:22 PM Dmitri Cerkas <dmitricerkas@xxxxxxxxx> wrote:

Ok, I can try to take care of it. But may be I'll need some advice and information from community.

It's already been done now, but technically it was just clicking on the merge button. Thanks for looking into it though.

Kind regards,

Arjan

 

Dmitri.

On Saturday, February 13, 2021, 11:58:14 AM GMT+1, arjan tijms <arjan.tijms@xxxxxxxxx> wrote:

Hi,

A trivial but important PR has been open for over 2 months in the ORB project, and unfortunately it's still not merged.

See: https://github.com/eclipse-ee4j/orb/pull/116

Can anyone who can merge in this project take a look at this? Many thanks in advance :)

Kind regards,

Arjan Tijms

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

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