GitHub IssuesEvent at 2014-09-03 13:45:08
Repository: acl2
Actor: ragerdl
Payload: action: closed
issue: 41817659
number: 163