]> git.lizzy.rs Git - micro.git/commitdiff
Merge branch 'mardukbp-patch-1'
authorZachary Yedidia <zyedidia@gmail.com>
Sun, 24 Jul 2022 20:59:18 +0000 (13:59 -0700)
committerZachary Yedidia <zyedidia@gmail.com>
Sun, 24 Jul 2022 20:59:18 +0000 (13:59 -0700)

Trivial merge