Hi, xenomai.org server will be down for maintenance during the week-end.
Regards.
--
Gilles.
_______________________________________________
Xenomai-core mailing list
Xenomai-core@gna.org
https://mail.gna.org/listinfo/xenomai-core
