Merge pull request #5421 from alive4ever/mksh-r56b
authorHannu Nyman <hannu.nyman@iki.fi>
Fri, 19 Jan 2018 16:04:09 +0000 (18:04 +0200)
committerGitHub <noreply@github.com>
Fri, 19 Jan 2018 16:04:09 +0000 (18:04 +0200)
utils/mksh: update to r56b


Trivial merge