unstructured
Fix sort_page_element. ensures that sorting is stable and not random.
#3978
Merged

Fix sort_page_element. ensures that sorting is stable and not random. #3978

pprados
pprados Fix sort_page_element. ensures that sorting is stable and not random.
0e4da68f
pprados pprados force pushed from 73f713ad to 0e4da68f 267 days ago
pprados pprados marked this pull request as ready for review 267 days ago
pprados Merge branch 'main' into pprados/fix-sort-page-elements
aa0677c8
badGarnet
pprados Add unit test
ca263ec0
pprados pprados force pushed from 4534f078 to ca263ec0 263 days ago
pprados Merge branch 'main' into pprados/fix-sort-page-elements
05d709da
pprados Add unit test
262c7e2d
pprados Merge remote-tracking branch 'origin/pprados/fix-sort-page-elements' …
493e44ac
badGarnet
badGarnet commented on 2025-04-07
pprados Fix
fbd383fb
pprados
badGarnet
badGarnet approved these changes on 2025-04-07
badGarnet
badGarnet badGarnet merged d570f462 into main 263 days ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone