Skip to content

bug fix: --tools flag not working with feature-flagged tools and deprecation aliases#1775

Merged
tommaso-moro merged 1 commit intomainfrom
tommy/ff-and-aliases-bug-fix
Jan 9, 2026
Merged

bug fix: --tools flag not working with feature-flagged tools and deprecation aliases#1775
tommaso-moro merged 1 commit intomainfrom
tommy/ff-and-aliases-bug-fix

Commits

Commits on Jan 9, 2026