Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Handle better the obscure case where linker is run to do nothing.
Fixes #905
- Loading branch information