GitHub IssuesEvent at 2014-05-01 12:02:33
Repository: Idris-dev
Actor: edwinb
Payload: action: opened
issue: 32610580
number: 1150