Merge pull request #10496 from sergign60/jitdrop
authorNoah Falk <noahfalk@users.noreply.github.com>
Thu, 20 Jul 2017 20:30:31 +0000 (13:30 -0700)
committerGitHub <noreply@github.com>
Thu, 20 Jul 2017 20:30:31 +0000 (13:30 -0700)
Jitted Code Pitching Feature implemented


Trivial merge