Skip to content

Add borrow_as_ptr lint#8210

Merged
bors merged 1 commit intorust-lang:masterfrom
guerinoni:master
Jan 11, 2022
Merged

Add borrow_as_ptr lint#8210
bors merged 1 commit intorust-lang:masterfrom
guerinoni:master

Commits

Commits on Jan 11, 2022