From mboxrd@z Thu Jan  1 00:00:00 1970
From: Philippe Gerum <rpm@xenomai.org>
Subject: Mailing list rehosting
Date: Sat, 21 May 2022 12:48:01 +0200
Message-ID: <87fsl2aig1.fsf@xenomai.org>
MIME-Version: 1.0
Content-Type: text/plain
List-Id: Discussions about the Xenomai project <xenomai.xenomai.org>
List-Unsubscribe: <https://xenomai.org/mailman/options/xenomai>,
 <mailto:xenomai-request@xenomai.org?subject=unsubscribe>
List-Archive: <http://xenomai.org/pipermail/xenomai/>
List-Post: <mailto:xenomai@xenomai.org>
List-Help: <mailto:xenomai-request@xenomai.org?subject=help>
List-Subscribe: <https://xenomai.org/mailman/listinfo/xenomai>,
 <mailto:xenomai-request@xenomai.org?subject=subscribe>
To: xenomai@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.