|
Note that while the mirror shares the domain with LuaForge, it is
hosted on an entirely separate server and should not be affected by
LuaForge outages. (BTW, if you have suggestions for a better place to
host a 3GB mirror, either let me know or bring it up on the
luaforge-development list.)