Merge pull request #8177 from nupplaphil/bug/intro_bug
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Sun, 26 Jan 2020 21:22:24 +0000 (22:22 +0100)
committerGitHub <noreply@github.com>
Sun, 26 Jan 2020 21:22:24 +0000 (22:22 +0100)
Fix Introductions tab


Trivial merge