diff options
| author | Kevin Quick <kquick@galois.com> | 2020-09-25 08:08:27 -0700 |
|---|---|---|
| committer | Kevin Quick <kquick@galois.com> | 2020-09-25 08:08:27 -0700 |
| commit | ef2a14be190f7162e85e9bdd44dd45bd9ddfe391 (patch) | |
| tree | 6ecf5a8044e8219bd54e330204c5bd288675ed1f /src/libutil/thread-pool.cc | |
| parent | 8fba2a8b54283ea1cf56ae75faf4ced5f3e8e4a1 (diff) | |
Fix reference to older name for access-tokens config value.
Diffstat (limited to 'src/libutil/thread-pool.cc')
0 files changed, 0 insertions, 0 deletions