Merge pull request #760 from jrblevin/pr-758
commit5d98592fe516748034d8baf92d7c0ba045e1f87a
authorShohei YOSHIDA <syohex@gmail.com>
Wed, 12 Apr 2023 01:26:11 +0000 (12 10:26 +0900)
committerGitHub <noreply@github.com>
Wed, 12 Apr 2023 01:26:11 +0000 (12 10:26 +0900)
tree59c28efd7887d31e6c92d7d2f439e588e1019826
parentfee1b0773b4f32bff82c6c9a33a7138c35dd452a
parent601863bb56a2171b2a4779093ee23bdecdb7dffc
Merge pull request #760 from jrblevin/pr-758

Fix PR 758