GitHub PushEvent at 2014-12-10 14:39:56
Repository: FStar
Actor: catalin-hritcu
Payload: {"shas":[["d8c432876b8e1fe847ab2428e436c4fef80f8f16","f1b89739ee0d76620764af569435c64abee7d584@gmail.com","Got unstuck on normalization","Catalin Hritcu",true]],"size":1,"ref":"refs/heads/master","head":"d8c432876b8e1fe847ab2428e436c4fef80f8f16"}