I've made a few minor changes to our SPF records, and fixed the reverse IP record for the mailing list server.
I highly recommend filtering based on the list ID (slurmdev.schedmd.com), which has remained unchanged for a long time, and should let you bypass any local spam filter rules.
- Tim
