Skip to content

Rename _ExtraImpl to _Strategy to reflect recent variable-name-changes#824

Merged
pnkraemer merged 2 commits into
mainfrom
rename-extra-impl-to-strategy
Sep 5, 2025
Merged

Rename _ExtraImpl to _Strategy to reflect recent variable-name-changes#824
pnkraemer merged 2 commits into
mainfrom
rename-extra-impl-to-strategy

Conversation

@pnkraemer
Copy link
Copy Markdown
Owner

@pnkraemer pnkraemer commented Sep 5, 2025

Users aren't affected.

@pnkraemer pnkraemer merged commit b22d330 into main Sep 5, 2025
9 checks passed
@pnkraemer pnkraemer deleted the rename-extra-impl-to-strategy branch September 5, 2025 08:18
@pnkraemer pnkraemer added the internals Improving the inner workings label Sep 7, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

internals Improving the inner workings

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant