Merge pull request #2866 from rswarbrick/found-init
authorwhitequark <whitequark@whitequark.org>
Wed, 14 Jul 2021 12:00:30 +0000 (12:00 +0000)
committerGitHub <noreply@github.com>
Wed, 14 Jul 2021 12:00:30 +0000 (12:00 +0000)
commit9008b87c39da829c75a66e78fd12c117d199351d
tree4608e2c990244a03897b2b63c65c680c2a2f22c5
parent8bf9cb407d929255ae985b33a537ac6d489553c5
parent88f20fa4dd6ec534cb30c4663d53e1f4d90ac07b
Merge pull request #2866 from rswarbrick/found-init

Delete unused found_init variable