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)
also search global sequences for live variables


Trivial merge