[GitHub] [tomee] rzo1 commented on pull request #975: [TOMEE-4115] Tomcat update to 10.1.x (may be outdated, please look changes and consider merge or close)

2023-02-06 Thread via GitHub
rzo1 commented on PR #975: URL: https://github.com/apache/tomee/pull/975#issuecomment-1420295312 I think, that this content is already contained in https://github.com/apache/tomee/pull/1005 - if not, we should change the merge target for it. -- This is an automated message from the Apach

[GitHub] [tomee] rzo1 commented on pull request #975: [TOMEE-4115] Tomcat update to 10.1.x

2022-11-20 Thread GitBox
rzo1 commented on PR #975: URL: https://github.com/apache/tomee/pull/975#issuecomment-1321123094 Ok. Not really, but it might be confusing as they talking about 9.x but should be 10.x - nevermind ;) -- This is an automated message from the Apache Git Service. To respond to the message, pl

[GitHub] [tomee] rzo1 commented on pull request #975: [TOMEE-4115] Tomcat update to 10.1.x

2022-11-20 Thread GitBox
rzo1 commented on PR #975: URL: https://github.com/apache/tomee/pull/975#issuecomment-1321122189 PR description :) -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubs