GitHub PushEvent at 2014-10-16 15:47:27
Repository: javamop
Actor: seriousamlqz
Payload: {"shas":[["f5c31a1c920cc4069dc0616f913f706b269d5c25","422d84920b403f9dd3b823ba8de3d3f1da76639c@gmail.com","Fix cleanup #87","Qingzhou Luo",false],["0c37ca6ec4897c3aef2bbacea38f46355db69658","422d84920b403f9dd3b823ba8de3d3f1da76639c@gmail.com","Merge pull request #138 from runtimeverification/fixcleanup\n\nFix cleanup #87","seriousamlqz",true]],"size":2,"ref":"refs/heads/master","head":"0c37ca6ec4897c3aef2bbacea38f46355db69658"}