diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-05-31 10:23:36 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-31 10:23:36 +0200 |
| commit | a0331e89e036103c95eb898742ea5d5f28a987b0 (patch) | |
| tree | 52e748233efefa1141b4107276c4f7d3304fce22 /executor/executor_test.h | |
| parent | 6f3e1c7c67bc16c53b8c778984c068c342ec5274 (diff) | |
docs: fix a typo
Fixes ##1778
Diffstat (limited to 'executor/executor_test.h')
0 files changed, 0 insertions, 0 deletions