wurms gitweb - mono.git/commit

author	Rodrigo Kumpera <kumpera@users.noreply.github.com>
	Sat, 27 May 2017 19:29:01 +0000 (12:29 -0700)
committer	GitHub <noreply@github.com>
	Sat, 27 May 2017 19:29:01 +0000 (12:29 -0700)
commit	5c7f10154fbf2be1251732cc52af9fdf962f8d3b
tree	cf9065ed915619bd52d315a92a8c07a443ebe97d	tree \| snapshot
parent	992525a6df9b644412d4eaf271825128aa5defd5	commit \| diff
parent	071c3f56973efc3d7b6bd2cd21da7da698467f4e	commit \| diff

Merge pull request #4904 from kumpera/more_opts

[runtime] Change jit_info_table_num_elements to O(1).

my mono mirror. check out Moved to http://github.com/mono/mono