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)
mc: update to 4.8.25


Trivial merge