Skip to content

Adopt §15 lint, and delete a dead buttons option six call sites were passing - #2

Merged
MichalAFerber merged 1 commit into
mainfrom
feat/adopt-15-lint
Sep 3, 2026
Merged

Adopt §15 lint, and delete a dead buttons option six call sites were passing#2
MichalAFerber merged 1 commit into
mainfrom
feat/adopt-15-lint

Commits

  1. Commits on Sep 3, 2026