Add an index to better support smaller_number_is_higher_priority
#2572
The logs for this run have expired and are no longer available.
Loading
smaller_number_is_higher_priority
#2572