diff options
| author | Maxime Dénès | 2020-01-03 16:42:41 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2020-01-03 16:42:41 +0100 |
| commit | e8ac6e6c8cb222cc11c6180088f18a2abbb03662 (patch) | |
| tree | 031a78abc8f76237d4b7328ce3abe6274ae01aa0 /kernel/nativecode.mli | |
| parent | 524d0be2e3dd70090dbd9f98a065390610e96ef5 (diff) | |
| parent | 8fd24bc02e5ed03593ee665d9a52903f97b8eac5 (diff) | |
Merge PR #11295: Use code owner teams for every component.
Reviewed-by: maximedenes
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions