* Fix jobserver algorithm again.
* A couple of nits.
* Fix considered pruning for double-colon rules.
8 files changed