GitHub PushEvent at 2014-02-12 15:56:48
Repository: nominal-workbench
Actor: pcouderc
Payload: {"shas":[["8052f436468c9f5461a81a5e0990b3d600740e66","3209ff962088296dd0c3801982a088c262bec01f@gmail.com","Updated hashconsing for the new ast","pcouderc",true]],"size":1,"ref":"refs/heads/master","head":"8052f436468c9f5461a81a5e0990b3d600740e66"}