Merge pull request #9305 from dibdot/mc
authorDirk Brenken <dev@brenken.org>
Tue, 25 Jun 2019 05:46:02 +0000 (07:46 +0200)
committerGitHub <noreply@github.com>
Tue, 25 Jun 2019 05:46:02 +0000 (07:46 +0200)
mc: update to 4.8.23


Trivial merge