Learn more about these different git repos.
Other Git URLs
3e7c9a9
backend: drop unused option max_workers This was just misleading in code and example config file, this is not used for some time (since 1c51da66151df0e1add7ca8 I think). Merges: #1022