Merge pull request #1572 from tpikonen/cleanup
commitded70dca2a48e74f9949c96b1ed2473c33d737c3
authorauouymous <5005204+auouymous@users.noreply.github.com>
Wed, 22 Nov 2023 12:32:15 +0000 (22 05:32 -0700)
committerGitHub <noreply@github.com>
Wed, 22 Nov 2023 12:32:15 +0000 (22 05:32 -0700)
tree9c7e189f23140dac51192e2d4cc790c90585f91b
parent5959e971e04bb9c6810a243bee35a02a81189360
parent1942fc88c0a14ab80d4f93e0d284f7aec110e84b
Merge pull request #1572 from tpikonen/cleanup

Small cleanups