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

slight tweak to ENV docs #30671

Merged

stevengj merged 1 commit into master from stevengj-patch-3

Jan 10, 2019

Member

stevengj commented Jan 9, 2019

From discussion in #30593.


          slight tweak to ENV docs

77968ce

stevengj requested a review from StefanKarpinski

January 9, 2019 22:13

StefanKarpinski approved these changes

View reviewed changes

stevengj added the docs label

Member Author

stevengj commented Jan 10, 2019

Unrelated CI failure on macos.

stevengj merged commit ed378dc into master

stevengj deleted the stevengj-patch-3 branch

January 10, 2019 01:10

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

Labels

docs