Tx for spotting that.
Just a PR would be fine.
Mark
6 Sept 2025 09:48:14 Sebastian Trost :
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 cr
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
