Remove detail from label/note that is already available in other note - #132157

Remove detail from label/note that is already available in other note#132157

bors merged 1 commit into

rust-lang:masterrust-lang/rust:masterfrom

estebank:long-types-3estebank/rust:long-types-3Copy head branch name to clipboard