Remove smaller_number_is_higher_priority
option from v4
#3099
Loading
smaller_number_is_higher_priority
option from v4
#3099