Mailing list rehosting

[Philippe Gerum <rpm@xenomai.org>]

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 xenomai@xenomai.org 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 xenomai@xenomai.org
  will be forwarded to xenomai@lists.linux.dev, 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 xenomai@lists.linux.dev by
  sending an empty mail to xenomai+subscribe@lists.linux.dev.

NOTE: xenomai@lists.linux.dev 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.