diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-07-08 09:26:48 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-07-08 09:26:48 +0200 |
| commit | bae5742c5094fc39344c8a8c9afec6e6e64918a9 (patch) | |
| tree | 4c6f895a8e0c4bdb01a8f48f75a59471541797bc /executor/executor.cc | |
| parent | 5962a2dc88f6511b77100acdf687c1088f253f6b (diff) | |
pkg/report: tune synchronize_srcu name for older kernels
Diffstat (limited to 'executor/executor.cc')
0 files changed, 0 insertions, 0 deletions