Skip to content

[pre-commit.ci] pre-commit autoupdate#8

Merged
veit merged 1 commit intomainfrom pre-commit-ci-update-configNov 30, 2023

Commits

Commits on Nov 27, 2023