[Xenomai] Xenomai.org web site maintenance

Philippe Gerum rpm at xenomai.org
Fri Aug 8 12:20:08 CEST 2014

xenomai.org might be a bit shaky until Monday, as we will be
significantly updating our web site. All other services (mailing lists,
git repos) will not be affected by this operation.

Sorry for any inconvenience this may cause.


More information about the Xenomai mailing list