Skip to content

explicitly sort merged relations table

Gerhard Raven requested to merge sort-table into master

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

Merge request reports