stabilized ord_max_min (fixes #25663)#44593

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

budziq:stabilize_ord_max_minbudziq/rust:stabilize_ord_max_minCopy head branch name to clipboard