Skip to content

Fix pre-commit issues present in develop#967

Merged
lebrice merged 1 commit intoEpistimio:developfrom
lebrice:fix-precommit-develop
Jul 11, 2022
Merged

Fix pre-commit issues present in develop#967
lebrice merged 1 commit intoEpistimio:developfrom
lebrice:fix-precommit-develop

Commits

Commits on Jul 11, 2022