{"head":"6ffe8a70b52961304ddff63f41d6d9a193c96ab4","size":1,"push_id":45112363,"shas":[["6ffe8a70b52961304ddff63f41d6d9a193c96ab4","0d4347204c6f6d0ab8f4edc326e360c0c34df26b@cs.wpi.edu","reverting the header change; sounds like something breaks in IE because of it.","Danny Yoo"]],"ref":"refs/heads/master"}