xenomai.org migrated to a new hoster. If you see something wrong, please
feel free to signal it to me (and please cc
gilles.chanteperd...@gmail.com in case the xenomai.org mail server is
really out). Note that the wikis on the old and new server are currently
out of sync, they should be in sync soon, but if you see something wrong
with the wiki, say, tomorrow, please signal it too.
Thanks in advance.
Xenomai-core mailing list