Skip to content

Rename Rptr to Ref in AST and HIR#106221

Merged
bors merged 1 commit intorust-lang:masterfrom
Noratrieb:rptr-more-like-ref-actually
Dec 29, 2022

Commits

Commits on Dec 28, 2022