Skip to content

Conversation

Kobzol
Copy link
Member

@Kobzol Kobzol commented Jul 29, 2025

CC @RalfJung

Fixes: #18

@RalfJung
Copy link
Member

Without having tested it, this looks good :)

@Kobzol
Copy link
Member Author

Kobzol commented Jul 29, 2025

Tested it on miri now, seems to work fine.

@Kobzol Kobzol enabled auto-merge July 29, 2025 12:12
@Kobzol Kobzol merged commit 28a012f into main Jul 29, 2025
1 check passed
@Kobzol Kobzol deleted the merge-conflict branch July 29, 2025 12:16
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.

pull does not work when there are conflicts
2 participants