Skip to content

Small fixes and pre-commit updates#471

Merged
timmens merged 10 commits intomainfrom pre-commit-ci-update-configDec 29, 2023