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

[Dmitri Cerkas <dmitricerkas@xxxxxxxxx>]

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

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