Some lint errors fixed

This commit is contained in:
Sergio Fernández Celorio
2023-08-22 12:57:08 +02:00
parent 4cc4192e93
commit 1885638ba6