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

Merge 3.2 to edge #738

Merged
merged 475 commits into from
Oct 22, 2024
Merged

Merge 3.2 to edge #738

merged 475 commits into from
Oct 22, 2024

Conversation

pkova
Copy link
Collaborator

@pkova pkova commented Oct 21, 2024

Note that this is unlikely to contain everything that 3.2 will have, but it does contain the big ones like lagoon and directed messaging support and I want to start testing all of this stuff with 411.

pkova and others added 30 commits July 9, 2024 11:07
Posting a bit of cleanup here rather than just submitting comments on
the PR.
@pkova pkova requested a review from a team as a code owner October 21, 2024 14:47
pkova added 2 commits October 22, 2024 15:31
These were mistakenly removed in aba8da4
This reverts commit c4ba180.

We had some problems with the new zig build system so we brought
bazel back for a little bit to triage. The problems were fixed by
upgrading GMP to 6.3.0 in a537c85.
@pkova pkova merged commit 063f968 into develop Oct 22, 2024
2 checks passed
@pkova pkova deleted the mesa-pairs branch October 22, 2024 13:12
@pkova pkova restored the mesa-pairs branch October 22, 2024 13:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

10 participants