Skip to content
Snippets Groups Projects
Unverified Commit e5b87dec authored by mergify[bot]'s avatar mergify[bot] Committed by GitHub
Browse files

Merge pull request #208 from Gepetto/pre-commit-ci-update-config

[pre-commit.ci] pre-commit autoupdate
parents 34493da8 5f153465
No related branches found
No related tags found
No related merge requests found
Pipeline #46944 passed