Tx for spotting that.
Just a PR would be fine.
Mark
6 Sept 2025 09:48:14 Sebastian Trost <m...@sebastiantrost.de.INVALID>:
Hi,
I noticed that the "Beginner issues"-link in CONTRIBUTING.md is
outdated. The link still sets the bugzilla search filter to Tomcat 7
and Tomcat 8.5 and ignores Tomcat 10 and Tomcat 11. Should I create a
bugzilla bug for this? It feels too trivial to do so.
Sebastian
---------------------------------------------------------------------
To unsubscribe, e-mail: users-unsubscr...@tomcat.apache.org
For additional commands, e-mail: users-h...@tomcat.apache.org
---------------------------------------------------------------------
To unsubscribe, e-mail: users-unsubscr...@tomcat.apache.org
For additional commands, e-mail: users-h...@tomcat.apache.org
