www-servers/tomcat: drop 10.0.23 | dev-java/tomcat-servlet-api: drop 10.0.23

[vaukai]

No description provided.

[gentoo-bot]

Pull Request assignment

Submitter: @vaukai
Areas affected: ebuilds
Packages affected: dev-java/tomcat-servlet-api, www-servers/tomcat

dev-java/tomcat-servlet-api: @gentoo/java
www-servers/tomcat: @gentoo/java

Linked bugs

No bugs to link found. If your pull request references any of the Gentoo bug reports, please add appropriate GLEP 66 tags to the commit message and request reassignment.

If you do not receive any reply to this pull request, please open or link a bug to attract the attention of maintainers.

---

In order to force reassignment and/or bug reference scan, please append [please reassign] to the pull request title.

Docs: Code of Conduct ● Copyright policy (expl.) ● Devmanual ● GitHub PRs ● Proxy-maint guide

[gentoo-repo-qa-bot]

Pull request CI report

Report generated at: 2022-10-28 15:13 UTC
Newest commit scanned: 7ef6fc7
Status: ✅ good

There are existing issues already. Please look into the report to make sure none of them affect the packages in question:
https://qa-reports.gentoo.org/output/gentoo-ci/1fbc84c2db/output.html