Fix lint.

Thanks to @Carpetsmoker for spotting this in #705.
This commit is contained in:
Florian Bruhin 2015-06-18 08:09:45 +02:00
parent 59cdbd780c
commit c64d9520ff
2 changed files with 2 additions and 2 deletions