Merge branch 'v1.3-dev' as v1.3.0 v1.3.0
authorJustin Wind <justin.wind+git@gmail.com>
Sat, 23 Oct 2021 21:12:57 +0000 (14:12 -0700)
committerJustin Wind <justin.wind+git@gmail.com>
Sat, 23 Oct 2021 21:12:57 +0000 (14:12 -0700)

Trivial merge