Skip to content

created favicons via https://realfavicongenerator.net/#103

Merged
leohofstet merged 1 commit intomainfrom
102-add-favicon
Mar 19, 2026
Merged

created favicons via https://realfavicongenerator.net/#103
leohofstet merged 1 commit intomainfrom
102-add-favicon

Conversation

@peterstadler
Copy link
Copy Markdown
Member

and inserted respective code snippets, closes #102

@peterstadler peterstadler linked an issue Feb 12, 2026 that may be closed by this pull request
@peterstadler peterstadler requested a review from riedde February 12, 2026 09:40
@peterstadler peterstadler self-assigned this Feb 12, 2026
@peterstadler
Copy link
Copy Markdown
Member Author

pinging @riedde for review

and inserted respective code snippets, implementing #102
Copy link
Copy Markdown

@fmacca fmacca left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I have tested it on windows with the browsers Chrome, Edge, Firefox and Opera. I can see the icon in all of them.

@peterstadler
Copy link
Copy Markdown
Member Author

Assigned @leohofstet for a final look and merging

@leohofstet
Copy link
Copy Markdown
Contributor

Assigned @leohofstet for a final look and merging

I couldn't spot any issue either. The icon appears for all pages in different browsers (Firefox, Chrome, Edge on Windows) and looks fine.

@leohofstet leohofstet merged commit 47d7b71 into main Mar 19, 2026
2 checks passed
@leohofstet leohofstet deleted the 102-add-favicon branch March 19, 2026 15:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

add favicon

3 participants