This was done yesterday. I also took care of the official images. That PR was approved and merged.
Rod. Sent from my iPhone > On Jan 8, 2024, at 6:55 AM, Markus Jung <m...@markus-jung.dev> wrote: > > Hey all, > > > I just opened a PR to get docker images for TomEE 9.1.2 pushed: > https://github.com/tomitribe/docker-tomee/pull/88 > > Would appreciate if anyone can take the time to review and possibly merge. > When this is done I'll PR docker-library/official-images as well > > > Thanks! > > Markus >
