Some fixes for lint #1068

Merged
kekkyojin merged 1 commit from fix-lintproblems into master 2020-12-21 19:43:09 +01:00

1 commit

Author SHA1 Message Date
Javi Rueda
9e56a86492 Some fixes for lint 2020-12-18 14:30:48 +01:00