Merge pull request #3375 from WoltLab/notification-settings
authorAlexander Ebert <ebert@woltlab.com>
Wed, 24 Jun 2020 15:08:55 +0000 (17:08 +0200)
committerGitHub <noreply@github.com>
Wed, 24 Jun 2020 15:08:55 +0000 (17:08 +0200)
New UI for the notification settings


Trivial merge