Skip to content

chore: remove discover leftovers#127

Merged
inffy merged 2 commits into
mainfrom
discover-cleanup
May 8, 2026
Merged

chore: remove discover leftovers#127
inffy merged 2 commits into
mainfrom
discover-cleanup

Conversation

@renner0e

@renner0e renner0e commented Mar 6, 2026

Copy link
Copy Markdown
Member

@renner0e
renner0e marked this pull request as ready for review May 8, 2026 16:53
@inffy
inffy added this pull request to the merge queue May 8, 2026
Merged via the queue into main with commit 44536a5 May 8, 2026
2 checks passed
@inffy
inffy deleted the discover-cleanup branch May 8, 2026 17:05
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