Skip to content

fix: update cli-tools to resolve prune well-known issue#494

Merged
peterpeterparker merged 1 commit intomainfrom
fix/prune
Mar 18, 2026
Merged

fix: update cli-tools to resolve prune well-known issue#494
peterpeterparker merged 1 commit intomainfrom
fix/prune

Conversation

@peterpeterparker
Copy link
Contributor

Signed-off-by: David Dal Busco <david.dalbusco@outlook.com>
@peterpeterparker peterpeterparker merged commit 3b71279 into main Mar 18, 2026
3 of 4 checks passed
@peterpeterparker peterpeterparker deleted the fix/prune branch March 18, 2026 20:33
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