]> git.lizzy.rs Git - micro.git/commitdiff
Merge pull request #1264 from krerkkiat/issue-1237
authorZachary Yedidia <zyedidia@gmail.com>
Sat, 8 Feb 2020 01:03:22 +0000 (20:03 -0500)
committerGitHub <noreply@github.com>
Sat, 8 Feb 2020 01:03:22 +0000 (20:03 -0500)
Update sh.yaml


Trivial merge