GitHub IssueCommentEvent at 2014-02-13 06:54:06
Repository: HoTT-Agda
Actor: andrejbauer
Payload: issue_id: 22704215
comment_id: 34952963