Shell service outage.

We experienced a brief outage of our shell service starting at ~11:30 pm lasting until 12:10 am. Service is now completely restored.

-Grant K.

System Operations.