Replace git_sha_rewriter.py with a generated linker option.#3021
Merged
mattklein123 merged 5 commits intoApr 23, 2018
Commits
Commits on Apr 23, 2018
- committed
- committed
- committed
- committed
- committed