Fixup whitespace issue

pull/2717/head
Josef Vogt 2020-02-05 15:08:17 +01:00
parent 0ed30db1d8
commit ec9c98df17
1 changed files with 2 additions and 2 deletions