Skip to content

fix(labels): report demangled Rust names with the spacing rustc uses - #249

Open
r0ny123 wants to merge 1 commit into
danielplohmann:masterfrom
r0ny123:fix/rust-demangle-spacing
Open

fix(labels): report demangled Rust names with the spacing rustc uses#249
r0ny123 wants to merge 1 commit into
danielplohmann:masterfrom
r0ny123:fix/rust-demangle-spacing

Commits

Commits on Aug 14, 2026