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

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

bf8ff0e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Validate PR title
succeeded Aug 14, 2026 in 3s