Skip to content
Snippets Groups Projects
user avatar
Vladimir Davydov authored
This flag is set iff worker_pool != NULL hence it is pointless.
d77b4dc9
History
Name Last commit Last update