Skip to content

Delete obsolte binaries - #42

Merged
hendrikvanantwerpen merged 1 commit into
mainfrom
hendrikvanantwerpen/remove-old-bins
Jan 26, 2026
Merged

Delete obsolte binaries#42
hendrikvanantwerpen merged 1 commit into
mainfrom
hendrikvanantwerpen/remove-old-bins

Conversation

@hendrikvanantwerpen

Copy link
Copy Markdown
Contributor

No description provided.

@hendrikvanantwerpen hendrikvanantwerpen self-assigned this Jan 26, 2026
@hendrikvanantwerpen
hendrikvanantwerpen merged commit 72c2f8d into main Jan 26, 2026
14 checks passed
@hendrikvanantwerpen
hendrikvanantwerpen deleted the hendrikvanantwerpen/remove-old-bins branch January 26, 2026 12:19
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.

1 participant