Tx for spotting that.
Just a PR would be fine.
Mark
6 Sept 2025 09:48:14 Sebastian Trost <[email protected]>:
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: [email protected]
For additional commands, e-mail: [email protected]
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
