Merge pull request #16409 from paper42/mc-fix
authorDirk Brenken <redacted>
Fri, 20 Aug 2021 08:59:15 +0000 (10:59 +0200)
committerGitHub <redacted>
Fri, 20 Aug 2021 08:59:15 +0000 (10:59 +0200)
mc: add a missing Syntax file


Trivial merge
git clone https://git.99rst.org/PROJECT