misc: style fix

This commit is contained in:
Robert Vollmert
2022-08-03 19:02:33 +02:00
committed by Robert
parent d24f0c8216
commit fea38a4caf