web12 server error Nov 14, 2016 (resolved)
Between 5:10 and 5:23 PM Pacific time today (Nov 14, 2016), the “web12” server was intermittently unavailable due to a hardware failure.
The problem has now been resolved, and other servers were not affected. We apologize for the inconvenience this caused our customers.