Merge pull request #2345 from mbechard/master
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Wed, 22 Jul 2020 04:15:24 +0000 (11:15 +0700)
committerGitHub <noreply@github.com>
Wed, 22 Jul 2020 04:15:24 +0000 (11:15 +0700)
commit1c42d4ee7bcb6153565a5e2a0cb5dd57cb2e97fb
tree59794fc4f86f2eabe4fac9666875c8430f932c99
parentc63502cf679629b7b37e6360867b832f1d661625
parent5727fb313e5d618374f43de8dc9b59d0b7669340
Merge pull request #2345 from mbechard/master

also search global sequences for live variables