Skip to content

Add custom properties#2512

Merged
marcoieni merged 2 commits into
rust-lang:mainfrom
Sandijigs:add-custom-properties
Jul 7, 2026
Merged

Add custom properties#2512
marcoieni merged 2 commits into
rust-lang:mainfrom
Sandijigs:add-custom-properties

Commits

Commits on Jul 6, 2026

Commits on Jul 7, 2026