docs: `Base.Order.Ordering`: consistency with #48363 and #48387#51683

Merged

KristofferC merged 1 commit intoJuliaLang:masterfrom nsajko:ordering

Oct 17, 2023

+2-1

Commits on Oct 12, 2023

docs: Base.Order.Ordering: consistency with JuliaLang#48363 and JuliaLang#48387
nsajko
committed