Skip to content

Conversation

haraldschilly
Copy link
Contributor

@haraldschilly haraldschilly commented Sep 9, 2025

this fixes #8530

@haraldschilly haraldschilly marked this pull request as ready for review September 9, 2025 16:11
@williamstein williamstein merged commit 4b5b2a6 into master Sep 10, 2025
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Assistant pops up twice in "..." menu
2 participants