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