Merge pull request #519 from nattress/bad_devirt
authorSimon Nattress <nattress@gmail.com>
Thu, 5 Dec 2019 01:18:51 +0000 (17:18 -0800)
committerGitHub <noreply@github.com>
Thu, 5 Dec 2019 01:18:51 +0000 (17:18 -0800)
commit1813e1e2a9e4451817544baf24a2cd270b93f5d6
tree29421ec6b27ec15187215b35b95c99eb48606d11
parentb2073bd41e7ba0606000e5950e3d960d1d2eb36d
parentca2c99c0630645a43b6cd546c5dc74d0f8e8683f
Merge pull request #519 from nattress/bad_devirt

Remove overly eager devirtualization optimization