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.

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

7.6 #13942

Merged
merged 2 commits into from
Oct 6, 2023
Merged

7.6 #13942

merged 2 commits into from
Oct 6, 2023
+1 −1

Conversation

vkarpov15
Copy link
Collaborator

Summary

7.6.0 ready to ship, will just include #13927 and #13938

Examples

@vkarpov15 vkarpov15 requested a review from hasezoey October 6, 2023 15:37
IslandRhythms
IslandRhythms approved these changes Oct 6, 2023
View reviewed changes
Copy link
Collaborator

@IslandRhythms IslandRhythms left a comment

Choose a reason for hiding this comment

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

LGTM

hasezoey
hasezoey approved these changes Oct 6, 2023
View reviewed changes
Copy link
Collaborator

@hasezoey hasezoey left a comment

Choose a reason for hiding this comment

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

LGTM, it seems like nothing much happened to the 7.6 branch though (directly to master)

@vkarpov15
Copy link
Collaborator Author

Yeah, we were thinking of doing a little more work on 7.6, but figured we would just get 7.6 out so we can focus on 8.0 QA.

@vkarpov15 vkarpov15 merged commit 2f8fdeb into master Oct 6, 2023
45 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@IslandRhythms IslandRhythms IslandRhythms approved these changes

@hasezoey hasezoey hasezoey approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@vkarpov15 @hasezoey @IslandRhythms @sanguineti