Skip to content

Update bridges subtree#1740

Merged
bkontur merged 5 commits into
masterfrom
sv-up-bridges-subtree
Oct 3, 2023
Merged

Update bridges subtree#1740
bkontur merged 5 commits into
masterfrom
sv-up-bridges-subtree

Conversation

@svyatonik

Copy link
Copy Markdown
Contributor

No description provided.

@svyatonik svyatonik added R0-no-crate-publish-required The change does not require any crates to be re-published. A3-backport Pull request is already reviewed well in another branch. T15-bridges This PR/Issue is related to bridges. labels Sep 28, 2023
@svyatonik svyatonik requested a review from a team September 28, 2023 11:36
@bkontur bkontur enabled auto-merge (squash) October 3, 2023 21:36
@bkontur bkontur merged commit d80171e into master Oct 3, 2023
@bkontur bkontur deleted the sv-up-bridges-subtree branch October 3, 2023 22:14
bkchr pushed a commit that referenced this pull request Apr 10, 2024
)

* make {:?} of LaneId compatible with its previous version

* fmt

* apply review suggestions
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A3-backport Pull request is already reviewed well in another branch. R0-no-crate-publish-required The change does not require any crates to be re-published. T15-bridges This PR/Issue is related to bridges.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants