New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

1.0x cherrypick: build: fix script name #15780

Merged

mberhault merged 1 commit into release-1.0 from marc/cherrypick_15779

May 8, 2017

Contributor

mberhault commented May 8, 2017

Cherrypicking #15779


          1.0x cherrypick: build: fix script name

5ebc7b0

Cherrypicking #15779

mberhault assigned benesch

Member

cockroach-teamcity commented May 8, 2017

This change is

mberhault added the 1.0 label

benesch approved these changes

View reviewed changes

mberhault merged commit 6e9563a into release-1.0

mberhault deleted the marc/cherrypick_15779 branch

May 8, 2017 19:14

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet