]> git.lizzy.rs Git - micro.git/commitdiff
Merge branch 'p-e-w-buffer-benchmarks'
authorZachary Yedidia <zyedidia@gmail.com>
Wed, 20 May 2020 19:29:02 +0000 (15:29 -0400)
committerZachary Yedidia <zyedidia@gmail.com>
Wed, 20 May 2020 19:29:02 +0000 (15:29 -0400)

Trivial merge