Merge pull request #9595 from annando/intro-fix
authorHypolite Petovan <hypolite@mrpetovan.com>
Thu, 26 Nov 2020 04:09:56 +0000 (23:09 -0500)
committerGitHub <noreply@github.com>
Thu, 26 Nov 2020 04:09:56 +0000 (23:09 -0500)
Fix missing introduction notifications


Trivial merge