Skip to content

Redo all sorts if missing sorted

Yolan Uyttenhoverequested to merge
redo_all_sorts_if_missing_sorted into master

Possible minimal fix for #863.

Alternative to !2114.

I'm not sure if this is sound, though

Edited by Matthieu Schaller

Merge request reports