diff options
| author | Marco Elver <elver@google.com> | 2020-06-15 05:13:42 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-06-15 09:56:18 +0200 |
| commit | 8e3ab94116d1518722c1b341ce88a81b957e90be (patch) | |
| tree | e0eee18c0c5a162b3a67a341ba7edb7ffde111d7 /AUTHORS | |
| parent | 2a22c77acf37f7d1907dda704aa5ca5ea28075ca (diff) | |
executor: Improve used terminology
Improve used terminology by using better verbs to express the effect of
the whitelist/blacklist.
This also changes executor to exclusively show respectful log messages,
and as per recent conversion, converts the last such case.
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions