Diff: https://github.com/sourcegraph/src-cli/compare/5.1.1...5.1.2 Changelog: https://github.com/sourcegraph/src-cli/blob/5.1.2/CHANGELOG.md
