Skip to content

Conversation

HamzaFarhan
Copy link
Contributor

closes #2464

@DouweM
Copy link
Collaborator

DouweM commented Aug 7, 2025

This is also done in #2458 among other things, I expect that to merge today!

@DouweM DouweM closed this Aug 7, 2025
@HamzaFarhan HamzaFarhan deleted the make-functiontoolsettool-public branch August 8, 2025 10:15
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.

Make FunctionToolsetTool public

2 participants