Hi Stephen,

Me and a few others in #selinux IRC had noticed that we're not receiving mail
from selinux@tycho.nsa.gov.  Seems to have been like that from the 14th
onwards.

Wanted to make you (or the controller of selinux-owner@tycho.nsa.gov) aware in
case you weren't already.

Thanks.
-- 
Gary Tierney

GPG fingerprint: 412C 0EF9 C305 68E6 B660  BDAF 706E D765 85AA 79D8
https://sks-keyservers.net/pks/lookup?op=get&search=0x706ED76585AA79D8