Merge pull request #12934 from dibdot/mc-19.07
authorDirk Brenken <dev@brenken.org>
Mon, 27 Jul 2020 17:55:10 +0000 (19:55 +0200)
committerGitHub <noreply@github.com>
Mon, 27 Jul 2020 17:55:10 +0000 (19:55 +0200)
mc [19.07]: update to 4.8.25


Trivial merge