GitHub PushEvent at 2014-11-25 10:51:39
Repository: CVC4
Actor: HasibShakur
Payload: {"shas":[["26cff2bf538279f9ca50db0f1a08d46c1982b793","684707b5b733689fb0b2a0289a21dcf29df0ad82@HasibShakur","resolved error","MDHASIBBIN",true]],"size":1,"ref":"refs/heads/master","head":"26cff2bf538279f9ca50db0f1a08d46c1982b793"}