Skip to content

Conversation

@wchargin
Copy link
Contributor

@wchargin wchargin commented Aug 4, 2019

Summary:
This was removed in #2278, but is actually pretty helpful.

wchargin-branch: ci-pip-freeze

Summary:
This was removed in #2278, but is actually pretty helpful.

wchargin-branch: ci-pip-freeze
@wchargin
Copy link
Contributor Author

wchargin commented Aug 4, 2019

(build failures unrelated; will be fixed by #2494)

wchargin-source: 68e0907b68c09cf68c05ca25db6dbecceccb419f
wchargin-branch: ci-pip-freeze
@nfelt nfelt self-requested a review August 5, 2019 16:49
Copy link
Contributor

@nfelt nfelt left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM. I'm not sure I actually intended to remove that line anyway.

@wchargin wchargin merged commit f39f71c into master Aug 5, 2019
@wchargin wchargin deleted the wchargin-ci-pip-freeze branch August 5, 2019 20:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants