GitHub PushEvent at 2014-02-24 20:17:00
Repository: KAT
Actor: smirea
Payload: {"shas":[["a1d27d7f7e6ea4e43c0fed07d7b27936e47dfec8","e1def338bf1957deccc4633d0438aeeef12547e4@gmail.com","bugfix","smirea",true],["af09aef5a1299eb247dd24c14e2a29b7b20d0725","e1def338bf1957deccc4633d0438aeeef12547e4@gmail.com","fixed wrongly-displayed arrow connections","smirea",true],["d540262a1c55812aca839a73647d97abf557bfbb","e1def338bf1957deccc4633d0438aeeef12547e4@gmail.com","Merge branch 'master' of github.com:KWARC/KAT","smirea",true]],"size":3,"ref":"refs/heads/master","head":"d540262a1c55812aca839a73647d97abf557bfbb"}