GitHub PushEvent at 2014-12-17 19:17:41
Repository: acl2
Actor: ragerdl
Payload: {"shas":[["c1ba7126644a99cc6088e974ddf849cd89eb74b3","48c9d777490d75eff3299fbd20c03e45a7856f15@gmail.com","Adding some references to std::strict-list-recognizers and documenting append-without-guard (and adding a reference to it from append).","David L Rager",true]],"size":1,"ref":"refs/heads/testing","head":"c1ba7126644a99cc6088e974ddf849cd89eb74b3"}