]> git.lizzy.rs Git - micro.git/commitdiff
Merge remote-tracking branch 'refs/remotes/zyedidia/master'
authorNicolai <NicolaiSoeborg@users.noreply.github.com>
Tue, 6 Dec 2016 20:51:33 +0000 (21:51 +0100)
committerNicolai <NicolaiSoeborg@users.noreply.github.com>
Tue, 6 Dec 2016 20:51:33 +0000 (21:51 +0100)

Trivial merge