Merge pull request #573 from ggraham/master
commit3a8bd33f0c319f9a91fcd9e577f5eefecddef2e6
authorTao Liu (τν) <vladimir.liu@gmail.com>
Tue, 1 Aug 2023 21:04:16 +0000 (1 17:04 -0400)
committerGitHub <noreply@github.com>
Tue, 1 Aug 2023 21:04:16 +0000 (1 17:04 -0400)
treefa3d057009e259c3c9c265726de86d014da12e12
parentd734ebd764323ad05842b1bc311ba2d8a3195fe0
parent3e5b020f1beeea90b8dca1440ed0f60ed2413afb
Merge pull request #573 from ggraham/master

addresses #572, but could be more effective