Skip to content

Switch FlatMatcher::arms to BTreeMap as well#97

Merged
danielparks merged 2 commits into
mainfrom
more-btreemap
May 21, 2026
Merged

Switch FlatMatcher::arms to BTreeMap as well#97
danielparks merged 2 commits into
mainfrom
more-btreemap

Conversation

@danielparks
Copy link
Copy Markdown
Owner

  • Switch FlatMatcher::arms to BTreeMap as well.

  • +nightly lint: remove unneeded &.

@danielparks danielparks merged commit 6f5af96 into main May 21, 2026
6 checks passed
@danielparks danielparks deleted the more-btreemap branch May 21, 2026 17:54
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.

1 participant