Merge pull request #2367 from Fabii547/patch-50
authorJoshua Rüsweg <josh@wcflabs.de>
Mon, 7 Aug 2017 12:32:46 +0000 (14:32 +0200)
committerGitHub <noreply@github.com>
Mon, 7 Aug 2017 12:32:46 +0000 (14:32 +0200)
Prevent page jumping in Ui/User/Trophy/List


Trivial merge