diff options
| author | Enrico Tassi | 2019-10-14 08:24:27 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2019-10-14 08:24:27 +0200 |
| commit | 81216e8947fb4906f5a2b109cbed3e2584383c57 (patch) | |
| tree | 2c834e83cbadb8503b05c24bc5fd02f0c740e4f2 /kernel | |
| parent | 54e31c28bf21caf7f8fcff1fcf4b415fed66dc3a (diff) | |
| parent | 7c0352e40af80c222507b1ddcf5e3a2ad29feb67 (diff) | |
Merge PR #10887: fix rev_right_loop doc
Reviewed-by: gares
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions