GitHub PushEvent at 2014-10-22 16:23:05
Repository: k
Actor: dwightguth
Payload: {"shas":[["b9fc5b34e6b555f878a9c1bf934833c09a051efd","aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","fix unnecessary imports","Dwight Guth",true]],"size":1,"ref":"refs/heads/staticstate","head":"b9fc5b34e6b555f878a9c1bf934833c09a051efd"}