GitHub PushEvent at 2014-02-28 19:15:10
Repository: coq
Actor: letouzey
Payload: {"shas":[["dc438047cc7d20d4f2df6ab703689814a7552623","d45bbc7219d0bd4f68cd1f2123ca07c7ea74db3e@inria.fr","Removing a Pervasives.compare in Term_dnet.","Pierre-Marie Pédrot",true]],"size":1,"ref":"refs/heads/trunk","head":"dc438047cc7d20d4f2df6ab703689814a7552623"}