Skip to content

discard invalid spans in external blocks#116420

Merged
bors merged 1 commit intorust-lang:masterfrom
bvanjoi:fix-116203
Dec 8, 2023
Merged

discard invalid spans in external blocks#116420
bors merged 1 commit intorust-lang:masterfrom
bvanjoi:fix-116203

Commits

Commits on Nov 15, 2023