diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2019-05-20 18:14:07 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-20 18:14:07 +0200 |
| commit | 33a268bd3bf77735e47b6a32f8a1a037af9274c4 (patch) | |
| tree | 2c35e55fbd660dd9780591249663631fed01065a /executor/executor_bsd.h | |
| parent | b5641f32bf42f02cf749ac7ec0c8fc5d7817d802 (diff) | |
docs: clarify syzbot handling of rebased trees
Diffstat (limited to 'executor/executor_bsd.h')
0 files changed, 0 insertions, 0 deletions