Remove smaller_number_is_higher_priority
option from v4
#1957
Loading
smaller_number_is_higher_priority
option from v4
#1957