The Xenomai mailing list server will be migrated to [1] on June 18 2022. In the meantime, the current server will be operating as usual. However, the existing subscriptions to [email protected] will NOT be automatically transferred to the new server.
This means that: - The Xenomai mailing list service will be inaccessible on June 18 from 4pm to 6pm CET for maintenance duties. - Starting from June 18 at 6pm CET, all posts to [email protected] will be forwarded to [email protected], the current mailing list archive will move to [2] afterwards. - If you want to keep on receiving e-mails from the Xenomai mailing list after this date, please subscribe to [email protected] by sending an empty mail to [email protected]. NOTE: [email protected] is a public list, you only need to subscribe for receiving e-mails. Thanks, [1] https://subspace.kernel.org/lists.linux.dev.html [2] https://lore.kernel.org/xenomai/ -- Philippe.
