GitHub PushEvent at 2014-05-16 01:00:20
Repository: lean
Actor: leodemoura
Payload: {"shas":[["c0d8a3195c35936a4681488981019bb1cc14f59c","7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","fix(library/kernel_serializer): style\n\nSigned-off-by: Leonardo de Moura <leonardo@microsoft.com>","Leonardo de Moura",true]],"size":1,"ref":"refs/heads/master","head":"c0d8a3195c35936a4681488981019bb1cc14f59c"}