14 Oct
2020
14 Oct
'20
2:48 p.m.
Hi Folks, Some time over the last few weeks, the DNS config on our mail server changed such that we ended with a mail loop. The result is that email sent to the list between September 25 and October 11 may have been lost.
So if you sent email to devel@sel4.systems during that time, we're not ignoring you -- we never saw the email.
Peter C
--
Peter Chubb Tel: +61 2 9490 5852 http://ts.data61.csiro.au/
Trustworthy Systems Group CSIRO's Data61