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)
commit10717887317beb824e57cdb29417663615211e99
tree4a775f8588b78a65cd57b1ea4c7e615b787aac90
parent665983a01f9c604bc3f704f469acb8a08c619d8a
parentb6590fcd1d958b87b0025f7710fbb00d9af85e23
Merge pull request #2397 from vargaz/aot-races

[aot] Fix some races if GOT entries are already set.