Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge remote-tracking branch 'rui314/master'
As some linkers (e.g. mold) do not support --cref, remove --cref. If this merge looks a bit strange, that is becaused I messed it up. Closes: #44
- Loading branch information