GitHub PushEvent at 2014-06-19 09:51:44
Repository: ghc
Actor: ghc-mirror
Payload: {"shas":[["453e0fde4ebf9fc21817e3c0924da083f02c187a","815e8f570865f2efd141c7915958bae99974cc88@cs.ox.ac.uk","Typo","Jose Pedro Magalhaes",true]],"size":1,"ref":"refs/heads/master","head":"453e0fde4ebf9fc21817e3c0924da083f02c187a"}