Skip to content

Conversation

@dhardy
Copy link
Member

@dhardy dhardy commented Nov 8, 2025

Replaces #65 (only two small commits on top of @tertu-m's work).

@dhardy dhardy force-pushed the push-mqlxwrqmzppn branch from 91774ca to 50ca452 Compare November 8, 2025 09:19
@dhardy
Copy link
Member Author

dhardy commented Nov 8, 2025

The benches failure is irrelevant to this PR.

@dhardy dhardy merged commit 257681e into master Nov 8, 2025
11 of 12 checks passed
@tertu-m
Copy link
Contributor

tertu-m commented Nov 8, 2025

Thanks for merging this, and apologies for not getting to it sooner.

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.

3 participants