GitHub IssuesEvent at 2014-05-02 13:14:58
Repository: Idris-dev
Actor: david-christiansen
Payload: action: closed
issue: 31234488
number: 1050