Merge pull request #2509 from zachjs/issue-2427
authorwhitequark <whitequark@whitequark.org>
Tue, 29 Dec 2020 02:59:09 +0000 (02:59 +0000)
committerGitHub <noreply@github.com>
Tue, 29 Dec 2020 02:59:09 +0000 (02:59 +0000)
Fix elaboration of whole memory words used as indices


Trivial merge