diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2023-07-07 08:27:43 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-07-07 08:27:43 +0200 |
commit | 862a2841c0806e12f03cf608001d905318932e40 (patch) | |
tree | c68608f4632214418291a786223d770ea8b66741 /modules/gdscript/language_server/gdscript_language_protocol.cpp | |
parent | b7c2fd2e9a7f01644e15fef86083a3e0e0221e4d (diff) | |
parent | 28d0d56a69b1e65513632f2d9ce575bd397fa7a8 (diff) | |
download | redot-engine-862a2841c0806e12f03cf608001d905318932e40.tar.gz |
Merge pull request #78845 from RandomShaper/fix_wtp_zero_batch_lazy
Fix zero-sized WorkerThreadPool not processing group tasks
Diffstat (limited to 'modules/gdscript/language_server/gdscript_language_protocol.cpp')
0 files changed, 0 insertions, 0 deletions