Not sure if the reason, but there was a BGP problem on the Internet today: https://blog.cloudflare.com/how-verizon-and-a-bgp-optimizer-knocked-large-parts-of-the-internet-offline-today/
On 24/06/2019 8:07 PM, Alan & Kim Zimmerman wrote: > 502 is a gateway timeout, maybe it is the CDNs gone flaky _______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
