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 #4055 from tweag/link-with-gold
Use gold as the linker on Linux
- Loading branch information