Skip to content

Remove ScopeDepth#139047

Merged
bors merged 2 commits intorust-lang:masterfrom
m-ou-se:remove-scope-depth
Mar 28, 2025
Merged

Remove ScopeDepth#139047
bors merged 2 commits intorust-lang:masterfrom
m-ou-se:remove-scope-depth

Commits

Commits on Mar 28, 2025