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

Backport #44132 to 22.11: Bump libdivide (to gain some new optimizations) #44459

Merged
merged 1 commit into from
Dec 21, 2022

Conversation

robot-ch-test-poll
Copy link
Contributor

Original pull-request #44132
Cherry-pick pull-request #44451

This pull-request is a last step of an automated backporting.
Treat it as a standard pull-request: look at the checks and resolve conflicts.
Merge it only if you intend to backport changes to the target branch, otherwise just close it.

@robot-ch-test-poll robot-ch-test-poll added the pr-backport Changes, backported to release branch. Do not use manually - automated use only! label Dec 20, 2022
@Felixoid Felixoid merged commit d543c02 into 22.11 Dec 21, 2022
@Felixoid Felixoid deleted the backport/22.11/44132 branch December 21, 2022 10:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
pr-backport Changes, backported to release branch. Do not use manually - automated use only!
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

6 participants