Merge branch 'develop' into unused-imports 1105/head
authorChocobozzz <me@florianbigard.com>
Mon, 24 Sep 2018 08:40:27 +0000 (10:40 +0200)
committerGitHub <noreply@github.com>
Mon, 24 Sep 2018 08:40:27 +0000 (10:40 +0200)

Trivial merge