www/jetty8: Remove expired port
2023-11-30 www/jetty8: End of life in 2014, consider migrating to www/jetty10
Description
Description
Details
Details
- Provenance
rene Authored on Dec 2 2023, 1:31 PM - Parents
- R11:65768300d175: www/madsonic: Remove expired port
- Branches
- Unknown
- Tags