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
force pushed
from
73f713ad
to
0e4da68f
267 days ago
pprados
marked this pull request as ready for review 267 days ago
Merge branch 'main' into pprados/fix-sort-page-elements
aa0677c8
Add unit test
ca263ec0
pprados
force pushed
from
4534f078
to
ca263ec0
263 days ago
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 263 days ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub