lua.org down

[Luiz Henrique de Figueiredo <lhf@...>]

lua.org seems to be down. The mirror at Tecgraf has been activated:
	http://www.tecgraf.puc-rio.br/lua/mirror/

lua-users.org is also down but there is no mirror. :-(