Appease the formatter

This commit is contained in:
2020-09-18 09:56:39 +02:00
parent c8259376e4
commit aa6372ed94