Merge pull request #675 from Quix0r/buglink/fixes-curly-spaces
authorMichael Vogel <icarus@dabo.de>
Mon, 30 Jul 2018 04:11:22 +0000 (06:11 +0200)
committerGitHub <noreply@github.com>
Mon, 30 Jul 2018 04:11:22 +0000 (06:11 +0200)
[buglink]: Added type-hint 'App'


Trivial merge