GitHub PushEvent at 2014-04-23 15:37:06
Repository: gtl
Actor: TPolzer
Payload: {"shas":[["fc071576c8e7b552062a7d7b36442ccc4e65217e","63da45749bbfb98bea0c3421c5b4b5537df462cd@fau.de","now with proper output parsing, working arrays and check for initial values.","Tobias Polzer",true]],"size":1,"ref":"refs/heads/nusmv","head":"fc071576c8e7b552062a7d7b36442ccc4e65217e"}