ChristopherSchultz commented on PR #708: URL: https://github.com/apache/tomcat/pull/708#issuecomment-2031945781
Anyone who wants this should lobby the Jakarta Servlet Experts Group. It's the only way this is likely to get into Tomcat. -- 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 unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org