diff options
| author | Emilio Jesus Gallego Arias | 2020-07-20 15:46:33 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-07-20 15:46:33 +0200 |
| commit | d57839d4fa3f7611b961bf28773b2969b659b24b (patch) | |
| tree | 355d75431a8ad173ff776ed88f70bfa9ba3fbb7e /kernel | |
| parent | d6aff7758936e4028614a1ac7e1dfbc5c7f82076 (diff) | |
| parent | 3416439d4a5b0f109b53a41faf81ad2c56ca69c6 (diff) | |
Merge PR #12660: Fix typo in contributing guide.
Reviewed-by: ejgallego
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions