Just a small formatting change

This commit is contained in:
Julien Malka 2022-01-11 10:05:05 +01:00
parent 3bc364b60b
commit 33afa293dd