Skip to content

fix variant comparison

Jan Trávníčekrequested to merge
merge-jt into master

Variants compare according to the order of alternatives if they hold different alternative.

Merge request reports