Skip to content

Remove deprecated fields in bootstrap#143926

Merged
bors merged 3 commits intorust-lang:masterfrom
Shourya742:2025-07-14-remove-deprecated-fields
Jul 17, 2025
Merged

Remove deprecated fields in bootstrap#143926
bors merged 3 commits intorust-lang:masterfrom
Shourya742:2025-07-14-remove-deprecated-fields

Commits

Commits on Jul 15, 2025