projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 9556be1 f57f188)
Merge pull request #4116 from kumpera/jit-job-control
authorRodrigo Kumpera <kumpera@users.noreply.github.com>
Tue, 11 Apr 2017 17:13:38 +0000 (10:13 -0700)
committerGitHub <noreply@github.com>
Tue, 11 Apr 2017 17:13:38 +0000 (10:13 -0700)
[mini] Introduce job control to the JIT. Limits by active and duplicate jobs.


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