Skip to content

Comments

Add titles when possible#473

Merged
erik-beus merged 1 commit intomainfrom
fix/titles
Jan 21, 2026
Merged

Add titles when possible#473
erik-beus merged 1 commit intomainfrom
fix/titles

Conversation

@erik-beus
Copy link
Contributor

No description provided.

@erik-beus erik-beus merged commit f3b7d3f into main Jan 21, 2026
5 checks passed
@erik-beus erik-beus deleted the fix/titles branch January 21, 2026 13:59
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