shell gateway lion is down

[Predrag Punosevac]

Dear Autonians,

One of our shell gateways lion.auton.cs.cmu.edu appears to be down. It
is located in the NSH 3123. I suspect that one of the new occupants of
that office has accidentally powered down the desktop or yanked out
the internet cable. I can't make it today to the campus so unless a
Good Samaritan fixes the hardware it will stay off.

Cheers,
Predrag