web13 down - resolved

Announcements Network Outages and Updates
1

We rebooted web13 to fix an issue. however, it is up and working fine now.