[tomcat] branch main updated: Fix an IDE warning

2023-10-24 Thread markt
This is an automated email from the ASF dual-hosted git repository. markt pushed a commit to branch main in repository https://gitbox.apache.org/repos/asf/tomcat.git The following commit(s) were added to refs/heads/main by this push: new 55dba05007 Fix an IDE warning 55dba05007 is described

[tomcat] branch main updated: Fix an IDE warning

2023-10-24 Thread markt
This is an automated email from the ASF dual-hosted git repository. markt pushed a commit to branch main in repository https://gitbox.apache.org/repos/asf/tomcat.git The following commit(s) were added to refs/heads/main by this push: new bb427575f0 Fix an IDE warning bb427575f0 is described