Merge pull request #9305 from dibdot/mc
authorDirk Brenken <redacted>
Tue, 25 Jun 2019 05:46:02 +0000 (07:46 +0200)
committerGitHub <redacted>
Tue, 25 Jun 2019 05:46:02 +0000 (07:46 +0200)
mc: update to 4.8.23


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