diff options
author | Bernhard Urban <bernhard.urban@xamarin.com> | 2017-08-09 20:57:44 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-09 20:57:44 +0300 |
commit | f3d3e2beaeff29def5ff9dc940de4ab10c815ef8 (patch) | |
tree | c738cea01e5dfdcbcd2b36112fe109e61cb0dd58 /CODEOWNERS | |
parent | c93589ae97cf826710d969eb833299168b441cd0 (diff) |
Update CODEOWNERS
Diffstat (limited to 'CODEOWNERS')
-rw-r--r-- | CODEOWNERS | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/CODEOWNERS b/CODEOWNERS index 2436953d1e8..813309b95c5 100644 --- a/CODEOWNERS +++ b/CODEOWNERS @@ -43,6 +43,11 @@ mono/metadata/sgen* @brzvlad mono/metadata/threads* @luhenry @kumpera mono/metadata/threadpool* @luhenry mono/metadata/w32* @luhenry +mono/mini/*cfgdump* @lewurm +mono/mini/*exceptions* @lewurm +mono/mini/*ppc* @lewurm +mono/mini/*type-check* @lewurm +mono/mini/interp/* @lewurm mono/mini/*profiler* @alexrp mono/profiler @alexrp mono/sgen @brzvlad |