Skip to content
GitLab

Get rid of Optional<Int> for worker_tool pool size

Closed Mike Kaplinskiy requested to merge github/fork/mikekap/get-rid-of-optionals into master

Just use Integer.MAX_VALUE. Part of #953