Skip to content

Conversation

davidrsch
Copy link
Owner

No description provided.

@davidrsch davidrsch linked an issue Aug 9, 2025 that may be closed by this pull request
@davidrsch davidrsch merged commit 2a90d2a into main Aug 9, 2025
11 checks passed
Copy link

codecov bot commented Aug 9, 2025

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@davidrsch davidrsch deleted the favicon branch August 9, 2025 23:43
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.

Docs: favicon missing in web page
1 participant