Merge pull request #12927 from dibdot/mc
authorDirk Brenken <redacted>
Sat, 25 Jul 2020 20:05:25 +0000 (22:05 +0200)
committerGitHub <redacted>
Sat, 25 Jul 2020 20:05:25 +0000 (22:05 +0200)
mc: update to 4.8.25


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