I've updated the PR accordingly. On 12 Jun 2014, at 19:33, Ufuk Celebi <[email protected]> wrote:
> Ok perfect this was my other contender as well ;) > > Sent from my iPhone > >> On 12 Jun 2014, at 18:27, Stephan Ewen <[email protected]> wrote: >> >> Maybe " taskmanager.net.numInThreads" ?
