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

Adopt §15 lint, and delete a dead `buttons` option six call sites wer…

cf3bd06
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar