Skip to content

Conversation

@jonathanberthias
Copy link
Contributor

Tiny changes to account for the recently merged PR.

It's in draft as if #1099 gets merged, there would be more changes. But if you cut the 5.7 release before merging it, this PR should be included as-is 😄

@jonathanberthias jonathanberthias marked this pull request as ready for review November 8, 2025 22:55
@jonathanberthias jonathanberthias changed the title Update stubs for latest changes Update stubs with node selection methods Nov 8, 2025
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