v56r5-formatted protected

Gloria Corti

@gcorti

0a004f69 · Merge branch 'add-pre-commit-checks' into 'master' · Sep 01, 2023

Identical to v56r5 with formatting applied