Skip to content

Revert "fix as-any linting warnings"#892

Merged
eleanorjboyd merged 1 commit intomainfrom
revert-891-convenient-marten
Oct 3, 2025
Merged

Revert "fix as-any linting warnings"#892
eleanorjboyd merged 1 commit intomainfrom
revert-891-convenient-marten

Commits

Commits on Oct 3, 2025