Skip to content

Update font#102

Merged
jnonino merged 1 commit intomainfrom
update-font
Mar 17, 2026
Merged

Update font#102
jnonino merged 1 commit intomainfrom
update-font

Conversation

@jnonino
Copy link
Copy Markdown
Member

@jnonino jnonino commented Mar 17, 2026

No description provided.

@jnonino jnonino self-assigned this Mar 17, 2026
@jnonino jnonino added the enhancement New feature or request label Mar 17, 2026
@jnonino jnonino merged commit d940705 into main Mar 17, 2026
2 checks passed
@jnonino jnonino deleted the update-font branch March 17, 2026 17:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant