Skip to content
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.

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

Update turbine #12950

Closed
wants to merge 1 commit into from
Closed

Update turbine #12950

wants to merge 1 commit into from

Conversation

cushon
Copy link
Contributor

@cushon cushon commented Feb 2, 2021

@cushon cushon requested review from philwo and comius February 2, 2021 22:22
@google-cla google-cla bot added the cla: yes label Feb 2, 2021
@comius comius assigned philwo and unassigned comius Feb 4, 2021
@philwo
Copy link
Member

philwo commented Feb 5, 2021

Merging.

bazel-io pushed a commit that referenced this pull request Feb 5, 2021
Built at
google/turbine@1bbb136

Fixes #12926

Partial commit for third_party/*, see #12950.

Signed-off-by: Philipp Wollermann <[email protected]>
@philwo
Copy link
Member

philwo commented Feb 5, 2021

Merged in bef4bbb.

@philwo philwo closed this Feb 5, 2021
philwo pushed a commit that referenced this pull request Mar 15, 2021
Built at
google/turbine@1bbb136

Fixes #12926

Partial commit for third_party/*, see #12950.

Signed-off-by: Philipp Wollermann <[email protected]>
philwo pushed a commit that referenced this pull request Mar 15, 2021
Built at
google/turbine@1bbb136

Fixes #12926

Partial commit for third_party/*, see #12950.

Signed-off-by: Philipp Wollermann <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4.0.0: StackOverflowError in error-prone
3 participants