Merge pull request #6824 from MrPetovan/bug/warnings
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Fri, 8 Mar 2019 05:23:51 +0000 (06:23 +0100)
committerGitHub <noreply@github.com>
Fri, 8 Mar 2019 05:23:51 +0000 (06:23 +0100)
Check $profile variable in mod/match


Trivial merge