Martin Weinelt 25a9d1ba9e mediawiki: drop redvers from maintainers		2021-11-29 02:06:43 +01:00
..
default.nix	mediawiki: drop redvers from maintainers	2021-11-29 02:06:43 +01:00