Merge pull request #4904 from kumpera/more_opts
authorRodrigo Kumpera <kumpera@users.noreply.github.com>
Sat, 27 May 2017 19:29:01 +0000 (12:29 -0700)
committerGitHub <noreply@github.com>
Sat, 27 May 2017 19:29:01 +0000 (12:29 -0700)
[runtime] Change jit_info_table_num_elements to O(1).


No differences found