Updated known problems section for pre-expansion lints about level attributes#8040

Merged

bors merged 2 commits intorust-lang:masterfrom xFrednet:6610-known-problems-section-for-pre-expansion

Dec 3, 2021

+24-4

Commits on Dec 3, 2021