GitHub IssuesEvent at 2014-11-24 09:45:15
Repository: coq-blog
Actor: clarus
Payload: action: opened
issue: 49871267
number: 2