docs: link to the packages lint table from the related workspace table#13057

Merged

bors merged 1 commit intorust-lang:masterfrom AlexTMjugador:docs/workspace-lints-crossreference

Nov 28, 2023