Skip to content

fix: skip inserting prunable tools list when empty#139

Merged
Tarquinen merged 1 commit intodevfrom
fix/empty-prunable-tools-list
Dec 15, 2025
Merged

fix: skip inserting prunable tools list when empty#139
Tarquinen merged 1 commit intodevfrom
fix/empty-prunable-tools-list

Commits

Commits on Dec 15, 2025