Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #36 from juhp/no-warnings
build: try "--ghc-options -w" instead of --no-dump-logs
- Loading branch information