explicitly sort merged relations table

another fix to guarantee that the merged relations tables are properly sorted (and thus deterministic) -- see Moore#538 (closed)

Merge request reports

Loading