rustdoc: remove extraneous whitespace inserted in playpen links#30940
Merged
bors merged 1 commit intorust-lang:masterfrom Jan 17, 2016
tshepang:extraneous-playpen-whitespace
Merged
rustdoc: remove extraneous whitespace inserted in playpen links#30940bors merged 1 commit intorust-lang:masterfrom tshepang:extraneous-playpen-whitespace
bors merged 1 commit intorust-lang:masterfrom
tshepang:extraneous-playpen-whitespace
