Minor whitespace fix

This commit is contained in:
Timothée Ravier 2023-12-12 16:24:27 +01:00
parent 8c8bebcc6b
commit c095cdd4b6