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
diagnostic_namespace feature#116611bors merged 1 commit intorust-lang:masterfrom
mejrs:diagnostic_namespace
