Fix lint issues

This commit is contained in:
Christophe Bedard 2019-07-31 14:00:25 +02:00
parent e60050ed17
commit 80bad7bf8d
2 changed files with 2 additions and 2 deletions