Skip to content

More ruff fixes#1236

Merged
jelmer merged 1 commit intomasterfrom more-ruffNov 26, 2023

Commits

Commits on Nov 26, 2023