Document diagnostic_namespace feature#116611
Merged
bors merged 1 commit intorust-lang:masterfrom Oct 11, 2023
mejrs:diagnostic_namespace
Merged
Document `diagnostic_namespace` feature#116611bors merged 1 commit intorust-lang:masterfrom mejrs:diagnostic_namespace
bors merged 1 commit intorust-lang:masterfrom
mejrs:diagnostic_namespace
