Skip to content

Merge pull request #5681 from fchapoton/some-suggestions-of-ruff #2281

Merge pull request #5681 from fchapoton/some-suggestions-of-ruff

Merge pull request #5681 from fchapoton/some-suggestions-of-ruff #2281