GitHub PushEvent at 2014-05-21 20:34:13
Repository: lean
Actor: leodemoura
Payload: {"shas":[["b9d7f8e8675ff93b8b1eebdb8404da998eec9ecd","7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","test(lua): make sure bug reported by Floris does not happen in Lean 0.2\n\nSigned-off-by: Leonardo de Moura <leonardo@microsoft.com>","Leonardo de Moura",true]],"size":1,"ref":"refs/heads/master","head":"b9d7f8e8675ff93b8b1eebdb8404da998eec9ecd"}