GitHub IssuesEvent at 2014-02-19 00:40:13
Repository: cryptominisat
Actor: prokls
Payload: action: closed
issue: 27833384
number: 153