GitHub PushEvent at 2014-03-18 05:42:01
Repository: afp
Actor: jvoigtlaender
Payload: {"shas":[["66822b89bb43b983344f296c822e5874c372dbc8","ee759b1936af4d7bd0d0e5363e6b1ea438e6a390@informatik.uni-bonn.de","crucially relax a lower bound","jvoigtlaender",true]],"size":1,"ref":"refs/heads/master","head":"66822b89bb43b983344f296c822e5874c372dbc8"}