Skip to content

Catch up with pre-commit.ci lite#523

Open
lorenzwalthert wants to merge 2 commits intomainfrom
pre-commit-ci-lite
Open

Catch up with pre-commit.ci lite#523
lorenzwalthert wants to merge 2 commits intomainfrom
pre-commit-ci-lite

Commits

Commits on Oct 18, 2023