GitHub PushEvent at 2014-07-28 15:45:47
Repository: mcrl2-boost-build
Actor: wiegerw
Payload: {"shas":[["9847d91b896832f1fc1ec17623e9c3c303cb927e","40343b1aa3c0bba47241dd2f44984dca0517f3c0@tue.nl","- Fixed several test specifications","Wieger Wesselink",true]],"size":1,"ref":"refs/heads/master","head":"9847d91b896832f1fc1ec17623e9c3c303cb927e"}