diff options
| author | Jeroen van Rijn <Kelimion@users.noreply.github.com> | 2025-06-16 10:50:35 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-06-16 10:50:35 +0200 |
| commit | 795ceec2cdbd47fe7ae0181e1fc5d17062eea062 (patch) | |
| tree | 310fa860813db5fea52a3a6911c0da4481e0534d /.github | |
| parent | 771c1c4332efdacd2a83f87bf3314eb749c761b5 (diff) | |
| parent | 6874a4cdb06b662b5e6a5cb096865a14663bdecb (diff) | |
Merge pull request #5327 from nubunto/fix/pool-join-hangs
fix: pool_join hangs if no threads are started
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions