Skip to content
This repository was archived by the owner on Dec 10, 2025. It is now read-only.

Conversation

@tseaver
Copy link
Contributor

@tseaver tseaver commented Dec 19, 2018

Lint error, see PR #56.

@tseaver tseaver added type: bug Error or flaw in code with unintended results or allowing sub-optimal usage patterns. release blocking Required feature/issue must be fixed prior to next release. labels Dec 19, 2018
@googlebot googlebot added the cla: yes This human has signed the Contributor License Agreement. label Dec 19, 2018
@tseaver tseaver requested a review from crwilcox December 19, 2018 16:25
@tseaver
Copy link
Contributor Author

tseaver commented Dec 19, 2018

Merging without review: the bug is obvious by inspection, as is the fix, and we need to unblock #56.

@tseaver tseaver merged commit fb30702 into master Dec 19, 2018
@tseaver tseaver deleted the 56-pool-fix_call_to__get_instance branch December 19, 2018 16:38
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

cla: yes This human has signed the Contributor License Agreement. release blocking Required feature/issue must be fixed prior to next release. type: bug Error or flaw in code with unintended results or allowing sub-optimal usage patterns.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants