GitHub PushEvent at 2014-07-01 16:51:25
Repository: dreal
Actor: soonhokong
Payload: {"shas":[["1252d9cee4fdd879fd685302c6180fcc167d8491","63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","doc(README.md): add download section\n\n[skip ci]","Soonho Kong",true]],"size":1,"ref":"refs/heads/master","head":"1252d9cee4fdd879fd685302c6180fcc167d8491"}