mini-httpd: rename from miniHttpd (#488475)

This commit is contained in:
Peter Simons
2026-02-09 06:40:54 +00:00
committed by GitHub
2 changed files with 1 additions and 0 deletions
+1
View File
@@ -1265,6 +1265,7 @@ mapAliases {
minetest-touch = throw "'minetest-touch' has been renamed to/replaced by 'luanti-client'"; # Converted to throw 2025-10-27
minetestclient = throw "'minetestclient' has been renamed to/replaced by 'luanti-client'"; # Converted to throw 2025-10-27
minetestserver = throw "'minetestserver' has been renamed to/replaced by 'luanti-server'"; # Converted to throw 2025-10-27
miniHttpd = mini-httpd; # Added 2026-02-08
minio_legacy_fs = throw "'minio_legacy_fs' has been removed, migrate your data and use 'minio'"; # Added 2026-02-02
minizincide = warnAlias "'minizincide' has been renamed to 'minizinc-ide'" minizinc-ide; # Added 2026-01-03
minizip2 = throw "'minizip2' has been renamed to/replaced by 'minizip-ng'"; # Converted to throw 2025-10-27