Merge pull request #2397 from vargaz/aot-races
authorZoltan Varga <vargaz@gmail.com>
Thu, 30 Jan 2020 22:12:39 +0000 (17:12 -0500)
committerGitHub <noreply@github.com>
Thu, 30 Jan 2020 22:12:39 +0000 (17:12 -0500)
[aot] Fix some races if GOT entries are already set.


Trivial merge