Skip to content

Add Favorites Manager Plugin#18

Merged
CGuether merged 16 commits intomainfrom
feature/add-favorites-manager-plugin
Jul 7, 2025
Merged

Add Favorites Manager Plugin#18
CGuether merged 16 commits intomainfrom
feature/add-favorites-manager-plugin

Conversation

@CGuether
Copy link
Contributor

@CGuether CGuether commented Apr 9, 2025

No description provided.

@CGuether CGuether closed this Apr 9, 2025
@CGuether CGuether reopened this Apr 9, 2025
@CGuether CGuether closed this Apr 9, 2025
@CGuether CGuether reopened this Apr 9, 2025
@CGuether CGuether closed this Apr 9, 2025
@CGuether CGuether reopened this Apr 9, 2025
@CGuether CGuether closed this Apr 9, 2025
@CGuether CGuether reopened this Apr 9, 2025
@CGuether CGuether closed this Jun 20, 2025
@CGuether CGuether reopened this Jun 20, 2025
@CGuether CGuether closed this Jun 20, 2025
@CGuether CGuether reopened this Jun 20, 2025
Copy link
Collaborator

@hnaether-c8y hnaether-c8y left a comment

Choose a reason for hiding this comment

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

Minor improvements commented

@CGuether CGuether merged commit 0593362 into main Jul 7, 2025
3 checks passed
@CGuether CGuether deleted the feature/add-favorites-manager-plugin branch July 7, 2025 13:04
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.

2 participants