Skip to content

Conversation

@Miguel7373
Copy link
Collaborator

No description provided.

@Miguel7373 Miguel7373 linked an issue Oct 13, 2025 that may be closed by this pull request
@Miguel7373 Miguel7373 requested a review from peggimann October 13, 2025 08:02
@Miguel7373 Miguel7373 marked this pull request as ready for review October 13, 2025 08:07
@peggimann peggimann merged commit 385f0aa into main Oct 13, 2025
20 checks passed
@peggimann peggimann deleted the bug/1682-wrong-font branch October 13, 2025 08:20
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.

Wrong font

3 participants