- Rename mediawiki12 to mediawiki112 (to follow the version number)
PR: 137910
Submitted by: Gerrit Beine <gerrit.beine@gmx.de> (maintainer)
Description
Description
Details
Details
- Provenance
miwi Authored on - Parents
- rP239904: - Foce commit
- Branches
- Unknown
- Tags