Remove an accidental re-indenting of a comment

Co-authored-by: Eelco Dolstra <edolstra@gmail.com>
This commit is contained in:
Théophane Hufschmitt 2022-03-24 09:39:24 +01:00 committed by Théophane Hufschmitt
parent b430d41afd
commit 92b627ac1b