Skip to content

[icons/*] Deduplicate two pairs of icons#110

Merged
Olf0 merged 1 commit into
develfrom
deduplicate-icons
Jun 29, 2025
Merged

[icons/*] Deduplicate two pairs of icons#110
Olf0 merged 1 commit into
develfrom
deduplicate-icons

Conversation

@Olf0

@Olf0 Olf0 commented Jun 29, 2025

Copy link
Copy Markdown
Collaborator

Closes #75

For details, see #75

Signed-off-by: olf <Olf0@users.noreply.github.com>
@Olf0 Olf0 self-assigned this Jun 29, 2025

@Olf0 Olf0 left a comment

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

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

LGTM

@Olf0 Olf0 mentioned this pull request Jun 29, 2025
@Olf0 Olf0 merged commit b72919f into devel Jun 29, 2025
3 checks passed
@Olf0 Olf0 deleted the deduplicate-icons branch June 29, 2025 22:15
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.

[ToDo] Deduplicate icons

1 participant