Merge pull request #12927 from dibdot/mc
authorDirk Brenken <dev@brenken.org>
Sat, 25 Jul 2020 20:05:25 +0000 (22:05 +0200)
committerGitHub <noreply@github.com>
Sat, 25 Jul 2020 20:05:25 +0000 (22:05 +0200)
commit56b4b56c34de2de2b372589fa9274d5a513a6e1b
tree71437ff6923d3bc7cd3137db886abc53a896a67f
parentc260f2f29404b4370eebe565667cb182bd0deabe
parenteb0c3b534a7f1676cc49552a3fbac3165e8b37eb
Merge pull request #12927 from dibdot/mc

mc: update to 4.8.25