misc: make linters happy

This commit is contained in:
Dylan Araps
2019-01-11 07:49:43 +02:00
parent 614c1ab44a
commit 37ed6b458a