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)
commit0ae51dab6418c583a1a6d858a1bc6756e65ce06c
treebab6c0d36339af5c04cc812b472bfa08c12da41f
parentd96ae81d241e0f42789a70029ab5636ef1d64231
parent312caff03b17241d2e383eb254b41d35e9225294
Merge pull request #16409 from paper42/mc-fix

mc: add a missing Syntax file
git clone https://git.99rst.org/PROJECT