GitHub PushEvent at 2014-11-12 09:13:41
Repository: FStar
Actor: catalin-hritcu
Payload: {"shas":[["eb0d93f8144c3322826b1aa7e89be2829518aa78","f1b89739ee0d76620764af569435c64abee7d584@gmail.com","Little cleanup in stlc","Catalin Hritcu",true]],"size":1,"ref":"refs/heads/master","head":"eb0d93f8144c3322826b1aa7e89be2829518aa78"}