Skip to content

fix: comment out dummy Slice definition#16

Merged
abentkamp merged 1 commit into
mainfrom
slice-fix
Jun 11, 2026
Merged

fix: comment out dummy Slice definition#16
abentkamp merged 1 commit into
mainfrom
slice-fix

Conversation

@abentkamp

Copy link
Copy Markdown
Collaborator

This PR make the patch script remove the dummy Slice definition. This is needed because otherwise the definitions Chunks and ChunksExact pick up the wrong Slice.

@abentkamp abentkamp requested a review from maximebuyse June 11, 2026 09:51
@abentkamp abentkamp merged commit 947805b into main Jun 11, 2026
3 checks passed
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.

2 participants