Skip to content

new lint: missing-spin-loop#8174

Merged
bors merged 1 commit intomasterfrom
missing-spin-loop
Mar 2, 2022
Merged

new lint: `missing-spin-loop`#8174
bors merged 1 commit intomasterfrom
missing-spin-loop

Commits

Commits on Mar 2, 2022