Small formatting issue

This commit is contained in:
Benoit Marty 2022-04-13 18:53:59 +02:00
parent 13cf510e8a
commit 10b47c33d1