More lint fixes

This commit is contained in:
rospogrigio
2020-09-28 15:36:04 +02:00
committed by rospogrigio
parent 32850b973d
commit deeaf0e9eb
2 changed files with 3 additions and 3 deletions