Make tables sorting deterministic#3923

clairechabas wants to merge 1 commit intomainGitbookIO/gitbook:mainfrom

claire/RND-9431-make-table-records-sorting-deterministicGitbookIO/gitbook:claire/RND-9431-make-table-records-sorting-deterministicCopy head branch name to clipboard