Fix lint warnings. #11

Merged
henrik merged 1 commits from fix-lint-warnings into master 2021-01-09 16:43:55 +01:00

1 Commits

Author SHA1 Message Date
0805cec129 Fix lint warnings. 2021-01-09 12:10:43 +01:00