Skip to content

Use double quotes in user messages#851

Merged
vinc merged 7 commits into
trunkfrom
chore/quotes
Jun 1, 2026
Merged

Use double quotes in user messages#851
vinc merged 7 commits into
trunkfrom
chore/quotes

Conversation

@vinc
Copy link
Copy Markdown
Owner

@vinc vinc commented May 15, 2026

No description provided.

@vinc vinc marked this pull request as ready for review May 24, 2026 21:34
@vinc vinc merged commit cca7c3d into trunk Jun 1, 2026
1 check passed
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.

1 participant