GitHub IssuesEvent at 2014-01-15 05:52:05
Repository: idris-mode
Actor: david-christiansen
Payload: action: closed
issue: 25384124
number: 44