Hi, You may notice that you've been subscribed to a new mailing list: devel@lists.tockos.org. This is because you were previously subscribed to the "helena-project" mailing list, where Tock development discussion happened. This will now happen on devel@lists.tockos.org including, for the time being, weekly meeting announcements and agenda. Of course, this is a fine opportunity to unsubscribe if you prefer, or change your preferred e-mail address. https://lists.tockos.org is using Mailman 3, which is at least 50% better than Mailman 2 (including better ways to login and change your mailing preferences). -Amit