use IPs for mail.archlinux.org in SPF record

Merged Frederik Schwan requested to merge freswa/infrastructure:master into master

Merge request reports