Hi, 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. -- Gilles. _______________________________________________ Xenomai-core mailing list Xenomaiemail@example.com https://mail.gna.org/listinfo/xenomai-core