GitHub PushEvent at 2014-05-29 16:27:52
Repository: k
Actor: dwightguth
Payload: {"shas":[["684ff6dd3184ec9b84316691e9ccc376e22dc96f","aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","update jar","Dwight Guth",true]],"size":1,"ref":"refs/heads/floats","head":"684ff6dd3184ec9b84316691e9ccc376e22dc96f"}