tweak prioritizing a bit

Authored by sandsmark on May 26 2018, 12:43 PM.

Description

tweak prioritizing a bit

Details

Committed
sandsmarkMay 26 2018, 12:43 PM
Parents
R529:db00a6899fe8: keep result list size constant
Branches
Unknown
Tags
Unknown