Skip to content

Fix: add find_person_in_users to tool list#535

Merged
janepie merged 1 commit intomainfrom
fix/add-tool
May 11, 2026
Merged

Fix: add find_person_in_users to tool list#535
janepie merged 1 commit intomainfrom
fix/add-tool

Conversation

@janepie
Copy link
Copy Markdown
Member

@janepie janepie commented May 11, 2026

No description provided.

Signed-off-by: Jana Peper <jana.peper@nextcloud.com>
@janepie janepie requested a review from marcelklehr May 11, 2026 09:40
@janepie janepie merged commit 3354846 into main May 11, 2026
16 checks passed
@janepie janepie deleted the fix/add-tool branch May 11, 2026 12:29
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