Merge pull request #5177 from dibdot/mc
authorTed Hess <redacted>
Mon, 27 Nov 2017 23:52:56 +0000 (18:52 -0500)
committerGitHub <redacted>
Mon, 27 Nov 2017 23:52:56 +0000 (18:52 -0500)
mc: release 4.8.20


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