Skip to content

Stabilize ptr::addr_eq#117968

Merged
bors merged 1 commit intorust-lang:masterfrom
Urgau:stabilize-ptr-addr-eq
Nov 26, 2023
Merged

Stabilize `ptr::addr_eq`#117968
bors merged 1 commit intorust-lang:masterfrom
Urgau:stabilize-ptr-addr-eq

Commits

Commits on Nov 16, 2023