GitHub PushEvent at 2014-08-22 19:12:17
Repository: ocaml-tptp
Actor: radekm
Payload: {"shas":[["ed039d0b12a2f361c3d12841e9339160044fa413","917147c67695df89a41c3bfa831cad717cfdfa29@gmail.com","Fix compilation under OCaml 3.12.1 and 4.00.1","Radek Micek",true]],"size":1,"ref":"refs/heads/master","head":"ed039d0b12a2f361c3d12841e9339160044fa413"}