Fix sort_page_element. ensures that sorting is stable and not random. #3978
Fix sort_page_element. ensures that sorting is stable and not random.
0e4da68f
pprados
marked this pull request as ready for review 1 year ago
Merge branch 'main' into pprados/fix-sort-page-elements
aa0677c8
Add unit test
ca263ec0
Merge branch 'main' into pprados/fix-sort-page-elements
05d709da
Add unit test
262c7e2d
Merge remote-tracking branch 'origin/pprados/fix-sort-page-elements' …
493e44ac
Fix
fbd383fb
badGarnet
approved these changes
on 2025-04-07
badGarnet
merged
d570f462
into main 1 year ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub