Skip to content
Commit c3369612 authored by Benjamin Bentmann's avatar Benjamin Bentmann
Browse files

Used extension's original index as tiebreaker in case of equal priorities to... 

Used extension's original index as tiebreaker in case of equal priorities to preserve any potential semantics of input order
parent 211611d3
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment