www/mediawiki137/: Remove expired port:
2023-02-28 www/mediawiki137: End of life upstream, users are recommended to upgrade to 1.39 or higher
Description
Description
Details
Details
- Provenance
rene Authored on Feb 28 2023, 11:27 AM - Parents
- R11:0aa0e5f506de: math/wxmaxima: Work around hanging
- Branches
- Unknown
- Tags