Skip to content

Remove default opts from config#145774

Merged
bors merged 1 commit intorust-lang:masterfrom
Shourya742:2025-08-23-remove-default-opts-method
Aug 24, 2025
Merged

Remove default opts from config#145774
bors merged 1 commit intorust-lang:masterfrom
Shourya742:2025-08-23-remove-default-opts-method

Commits

Commits on Aug 23, 2025