Skip to content

Pin elf version and bump own version#58

Merged
constantinpape merged 2 commits into
masterfrom
pin-elf
Jun 5, 2026
Merged

Pin elf version and bump own version#58
constantinpape merged 2 commits into
masterfrom
pin-elf

Conversation

@constantinpape

Copy link
Copy Markdown
Owner

No description provided.

@constantinpape constantinpape merged commit 003fd42 into master Jun 5, 2026
1 check passed
@constantinpape constantinpape deleted the pin-elf branch June 5, 2026 06: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