Job pool picker improvement#288
Merged
timotheeguerin merged 13 commits intomasterfrom Apr 5, 2017
Merged
Commits
Commits on Mar 31, 2017
- committed
- committed
Commits on Apr 3, 2017
Commits on Apr 4, 2017
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored