diff options
| author | Roman Perepelitsa <roman.perepelitsa@gmail.com> | 2021-08-23 11:30:28 +0300 |
|---|---|---|
| committer | Roman Perepelitsa <roman.perepelitsa@gmail.com> | 2021-08-23 11:30:28 +0300 |
| commit | 10ad57cc6b73b9ed51474edbd5235e6b5f2fd16b (patch) | |
| tree | 0d1b024c27473361cf9ab56d0e2739d0f7412510 /src/thread_pool.h | |
| parent | 80ec734a953d930838ea6839923c97c3da880a0d (diff) | |
Squashed 'gitstatus/' changes from 2ecd9907..edd92f62
edd92f62 build: more debug info in case wget fails
1cfcb46c build: add a workaround for systems with broken wget
git-subtree-dir: gitstatus
git-subtree-split: edd92f6210afb16411274e1d6060c6a68bd1e999
Diffstat (limited to 'src/thread_pool.h')
0 files changed, 0 insertions, 0 deletions