20 Jun 2021 (9:00pm) :: VPN issues

UPDATE: This was resolved around 10:45 pm.

The ras.mines.edu VPN is down. We are working on a resolution.