[Jool-list] Jool 4.1.8 has been released.

[Alberto Leiva]

It was actually released over a month ago. Sorry; I'm supposed to wait
until the jool.mx mirror is updated before I send this e-mail, but
since that never happened, here we are.

Actually, I have two more announcements:

- I have lost control over the jool.mx mirror, so I've decided to dump
it for good. Use the project's Github page instead.
(https://nicmx.github.io/Jool). Remember to update your bookmarks, if
any.
- The future of the project isn't looking bright. If you have
something to contribute, please answer this survey:
https://nicmx.github.io/Jool/en/index.html#survey

Please upgrade. 4.1.7, as well as all previous 4.1.x versions, have an
important bug: https://github.com/NICMx/Jool/issues/366