[Jool-list] jool-list now functional (hopefully)

[Alberto Leiva]

All right, guys. If this mail manages to spread, then it will appear
the problem is solved.

We have some redirection hack I'm probably now allowed to talk about,
and I don't really know about it anyway due to me being just a silly
developer, but the gist of it is that

***
The name of the list used to be wrong. It has all along supposed to be
jool-list at nic.mx, not jool-list at mail-lists.nic.mx. The site now
correctly reflects this:
https://mail-lists.nic.mx/listas/listinfo/jool-list
***

Sorry for the inconveniences.
It seems anything sent to @mail-lists.nic.mx has been lost. If this
applies to you, please resend using the "new" address.
On the other hand, you don't need to register again.

Alberto