From: Rodrigo Kumpera <kumpera@users.noreply.github.com>
Date: Sat, 27 May 2017 19:29:01 +0000 (-0700)
Subject: Merge pull request #4904 from kumpera/more_opts
X-Git-Url: http://wien.tomnetworks.com/gitweb/?p=mono.git;a=commitdiff_plain;h=5c7f10154fbf2be1251732cc52af9fdf962f8d3b

Merge pull request #4904 from kumpera/more_opts

[runtime] Change jit_info_table_num_elements to O(1).
---

5c7f10154fbf2be1251732cc52af9fdf962f8d3b