[GitHub] [tomcat] markt-asf closed pull request #574: Update web.xml

2022-12-28 Thread GitBox
markt-asf closed pull request #574: Update web.xml URL: https://github.com/apache/tomcat/pull/574 -- 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-un

[GitHub] [tomcat] markt-asf commented on pull request #574: Update web.xml

2022-12-28 Thread GitBox
markt-asf commented on PR #574: URL: https://github.com/apache/tomcat/pull/574#issuecomment-1366474879 No prior discussion. No justification for change. Change removes explanatory comment. Change uses inconsistent indent. -- This is an automated message from the Apache Git Service