Merge pull request #24590 from sandreenko/deleteJitOpts
authorSergey Andreenko <seandree@microsoft.com>
Thu, 16 May 2019 01:20:40 +0000 (18:20 -0700)
committerGitHub <noreply@github.com>
Thu, 16 May 2019 01:20:40 +0000 (18:20 -0700)
commitc2533b6c3f715b6964de5ffe0b2a2feaac42b079
treeae507f85a34481c3713d57e7ac3911e6f2c360a4
parent3fd99f16627e87a78d5275a8e4fcb01d0bd7b180
parent02fb10d98332dd2b560df2c74ee1c6e7bf89ee9b
Merge pull request #24590 from sandreenko/deleteJitOpts

Delete JitOptions struct.