Skip to content

Fix #6858 Don't prune when all dependencies pruned#6859

Merged
mpilgrem merged 1 commit intomasterfrom
fix6858
Mar 6, 2026
Merged

Fix #6858 Don't prune when all dependencies pruned#6859
mpilgrem merged 1 commit intomasterfrom
fix6858

Conversation

@mpilgrem
Copy link
Member

@mpilgrem mpilgrem commented Mar 6, 2026

See:

Please also shortly describe how you tested your change. Bonus points for added tests!

@mpilgrem mpilgrem merged commit 8fbf020 into master Mar 6, 2026
12 checks passed
@mpilgrem mpilgrem deleted the fix6858 branch March 6, 2026 23:50
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