main/postmarketos-splash: fix linting issues (!872)

[ci:skip-vercheck]
This commit is contained in:
Bart Ribbers 2020-01-06 10:33:31 +01:00
parent 32a4452c23
commit fd18d7e720
No known key found for this signature in database
GPG Key ID: 699D16185DAFAE61