Skip to content

Fix ruff D212#3251

Merged
janosh merged 3 commits intomasterfrom
fix-ruff-D212
Aug 18, 2023
Merged

Fix `ruff` D212#3251
janosh merged 3 commits intomasterfrom
fix-ruff-D212

Commits

Commits on Aug 18, 2023