GitHub IssuesEvent at 2014-09-07 23:37:39
Repository: HOL
Actor: ptroja
Payload: action: opened
issue: 42155667
number: 195