GitHub PushEvent at 2014-07-10 10:34:44
Repository: cpachecker
Actor: cpachecker
Payload: {"shas":[["3a4fe9cacc4a4b82b9b17b287abc921009f45c8a","1570f45fd579a26bc2a3b1541514affddbabb8c9@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","Fixed a comment.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12947 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","dangl",true]],"size":1,"ref":"refs/heads/trunk","head":"3a4fe9cacc4a4b82b9b17b287abc921009f45c8a"}