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)
commitf99481285847f0106c89fc361891cdaff5dd1e39
tree52205d920f37eb939c305e702fc497e6fcff2487
parent7bd52ba5ff07b4781b744d57bbc7ca8c0dcfb21c
parent3272114cc9579b4e372273d55f3cd3d091c2b24c
Merge pull request #12934 from dibdot/mc-19.07

mc [19.07]: update to 4.8.25