Fixed lint issues

This commit is contained in:
Torstein A. Bø 2020-05-14 09:45:21 +02:00
parent d3a9259d4d
commit d9cddb4428