Juan Linietsky c7255388e1 Remove ThreadWorkPool, replace by WorkerThreadPool
The former needs to be allocated once per usage. The later is shared for all threads, which is more efficient.
It can also be better debugged.
2022-07-25 15:39:50 +02:00
..
2022-07-05 22:13:37 +02:00
2022-07-05 22:13:37 +02:00
2022-05-06 00:27:10 +02:00
2022-05-06 00:27:10 +02:00
2022-07-21 09:37:52 +03:00