minor lint cleanup
authorJustin Wind <justin.wind+git@gmail.com>
Wed, 9 Aug 2023 23:49:35 +0000 (16:49 -0700)
committerJustin Wind <justin.wind+git@gmail.com>
Wed, 9 Aug 2023 23:49:35 +0000 (16:49 -0700)

No differences found