GitHub PushEvent at 2014-10-29 16:02:44
Repository: text
Actor: rickeyski
Payload: {"shas":[["a5e2467f1105839f42060bdcf501d9b621a528cc","e0dc916e90143364b0d0e81943a6800cb71eaf70@functor.sk","Make lightyear_text compatible with idris-0.9.15.","Matus Tejiscak",true]],"size":1,"ref":"refs/heads/master","head":"a5e2467f1105839f42060bdcf501d9b621a528cc"}