On Mon, Mar 12, 2018 at 11:13 AM David Sastre Medina <asastrem@redhat.com> wrote:

Hi,

It's either been fixed in the meantime, or it's just you

It was fixed in the meantime. I reverted the change we made to DNS. We were trying to add IPv6 support to the domain, but it did not go as planned.