Use a different Sort for Sets used in the QP encoding#738

Draft

jcp19 wants to merge 2 commits intomasterfrom meilers_qp_set_type

+228-8

Commits on Mar 17, 2023

Trying out separate sort for QP references
marcoeilers
committed

Commits on Apr 20, 2023

Merge branch 'master' into meilers_qp_set_type
jcp19
committed