GitHub IssuesEvent at 2014-12-16 17:44:24
Repository: FStar
Actor: ckeller
Payload: action: opened
issue: 52143959
number: 100