Merge remote-tracking branch 'origin/devel' into devel

a57faf51 · Florent Lamiraux · 86c2edd5 · e43f523c · a57faf51
Commit a57faf51 authored 1 year ago by Florent Lamiraux
--- a/.pre-commit-config.yaml
+++ b/.pre-commit-config.yaml
@@ -2,7 +2,7 @@ ci:
    autoupdate_branch: 'devel'
 repos:
 -   repo: https://github.com/pre-commit/mirrors-clang-format
-    rev: v16.0.4
+    rev: v16.0.6
    hooks:
    -   id: clang-format
        args: [--style=Google]