Merge pull request #16409 from paper42/mc-fix
authorDirk Brenken <dev@brenken.org>
Fri, 20 Aug 2021 08:59:15 +0000 (10:59 +0200)
committerGitHub <noreply@github.com>
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