<div dir="ltr"><div><div><div><div>Hi,<br><br></div>As mentioned in a previous thread of the "Dev" list, we have now moved to a new list, "Developers", with address <a href="mailto:developers@cakeml.org">developers@cakeml.org</a>. All previous Dev subscribers have been automatically moved to Developers. (You can update your subscription any time via <a href="https://lists.cakeml.org">https://lists.cakeml.org</a>).<br><br></div>The Developers list has permissions just like our GitHub repository: it is publicly readable, but has moderated subscriptions and postings. Please continue any technical discussions from the old Dev on the new Developers now instead.<br><br></div>Cheers,<br></div>Ramana<br></div>