tree 3c35ba2c8aa9f4e8756a8d97d1d7f274c28a60cf
parent bfa9e83da7af8bb69731a3fad172d7a4d22a65e2
author maxwen <max.weninger@gmail.com> 1506210083 +0200
committer Max Weninger <max.weninger@gmail.com> 1506624488 +0200

manifest: omni external/mksh

Change-Id: I07b3b52e7ebd7ca6a49dd6c996f8cb4dc15b261e