Merge pull request #2658 from zachjs/parameters-across-files
authorwhitequark <whitequark@whitequark.org>
Sun, 14 Mar 2021 15:02:16 +0000 (15:02 +0000)
committerGitHub <noreply@github.com>
Sun, 14 Mar 2021 15:02:16 +0000 (15:02 +0000)
sv: allow globals in one file to depend on globals in another


Trivial merge