metrics: fix linter issue

This commit is contained in:
Kurkó Mihály 2018-11-08 17:21:22 +02:00
parent 8cf3fdd473
commit efd5a36ee2