Skip to content

clone_double_ref: print reference type in lint message#6442

Merged
bors merged 1 commit intorust-lang:masterfrom matthiaskrgr:clone-double-ref-tyDec 13, 2020

Commits

Commits on Dec 12, 2020