projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 992525a 071c3f5)
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).

1  2 
mono/metadata/domain-internals.h patch | diff1 | diff2 | blob | history

diff --cc mono/metadata/domain-internals.h
Simple merge
my mono mirror. check out Moved to http://github.com/mono/mono