www/mediawiki135: Remove expired port
2024-03-31 www/mediawiki135: Upstream reached EOL on 2023-12-21
Description
Description
Details
Details
- Provenance
rene Authored on Apr 1 2024, 10:43 AM - Parents
- R11:5cbad6c05754: irc/bopm: Remove expired port
- Branches
- Unknown
- Tags