[arch-devops] Arch Linux website down

Hi, We are currently experiencing some technical problems with the webserver for archlinux.org, bugs.archlinux.org, patchwork.archlinux.org. We are working on it, but resolving this problem could take a while. The mailinglists, AUR, wiki and forums are hosted on a different machine and are still available. If you want to download an Arch Linux ISO, you can still do that via our mirrors. If you don't know any mirror URL, you can use this one: https://mirrors.kernel.org/archlinux/iso/ We are sorry for the inconvenience. Florian