Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / bennofs/ghc-server issues and pull requests
#3 - Fix spelling of '--timeout' option
Pull Request -
State: closed - Opened by felix-eku over 10 years ago
#2 - Add support for ghc-7.8
Pull Request -
State: closed - Opened by felix-eku over 10 years ago
#1 - Suicide after timeout
Issue -
State: closed - Opened by bennofs almost 11 years ago
Labels: enhancement