login-old.eecs malfunction Tuesday October 30, 2018 October 30, 2018 by Mark Kraitchman login-old.eecs is down again. Please use login.eecs instead. Resolved as of 2018-12-11 07:19:00