Skip to content

Merge pull request #1199 from cryspen/rework-name-repr #3854

Merge pull request #1199 from cryspen/rework-name-repr

Merge pull request #1199 from cryspen/rework-name-repr #3854

rustfmt

succeeded Jan 30, 2025 in 56s