Skip to content

[chore] update favicons#291

Merged
harryfk merged 5 commits intomainfrom
chore/replace-favicons
Feb 18, 2026
Merged

[chore] update favicons#291
harryfk merged 5 commits intomainfrom
chore/replace-favicons

Conversation

@harryfk
Copy link
Collaborator

@harryfk harryfk commented Feb 18, 2026

There were a couple of issues with the supplied favicons:

  • Unnecessary files that weren’t linked anywhere
  • Blurry upscaled files (probably from a bad online generator)
  • Some default graphics that had nothing to do with PTF

This PR corrects those issues, which probably weren’t caught during a hectic launch.

@harryfk harryfk requested a review from lesabu February 18, 2026 15:06
@harryfk harryfk requested a review from paulrobben February 18, 2026 15:08
@paulrobben
Copy link
Member

Very nice, thank you!

@paulrobben paulrobben self-assigned this Feb 18, 2026
@harryfk harryfk removed the request for review from lesabu February 18, 2026 15:13
Copy link
Member

@paulrobben paulrobben left a comment

Choose a reason for hiding this comment

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

Found the review button!

@harryfk harryfk merged commit 0791f1b into main Feb 18, 2026
1 check passed
@harryfk harryfk deleted the chore/replace-favicons branch February 18, 2026 15:17
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.

2 participants

Comments