Skip to content

chore: Merge main into next#1334

Merged
bobbinth merged 7 commits intonextfrom
sergerad-main-to-next
Nov 5, 2025
Merged

chore: Merge main into next#1334
bobbinth merged 7 commits intonextfrom
sergerad-main-to-next

Conversation

@sergerad
Copy link
Collaborator

@sergerad sergerad commented Nov 5, 2025

No description provided.

@sergerad sergerad requested a review from bobbinth November 5, 2025 21:21
Comment on lines -521 to -523
peer_opts.read_timeout = Some(self.0.timeout);
peer_opts.write_timeout = Some(self.0.timeout);
peer_opts.idle_timeout = Some(self.0.timeout);
Copy link
Contributor

Choose a reason for hiding this comment

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

We don't need these any more?

Copy link
Collaborator Author

Choose a reason for hiding this comment

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

Copy link
Contributor

@bobbinth bobbinth left a comment

Choose a reason for hiding this comment

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

Looks good! Thank you! I left a couple of small comments above.

@sergerad sergerad force-pushed the sergerad-main-to-next branch from e859915 to 6986a0a Compare November 5, 2025 21:39
@bobbinth bobbinth merged commit 2aa5ff2 into next Nov 5, 2025
6 checks passed
@bobbinth bobbinth deleted the sergerad-main-to-next branch November 5, 2025 21:53
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.

4 participants