Skip to content

Improve settings loading strategy#96741

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:improve-settings-loading-strategy
May 6, 2022
Merged

Improve settings loading strategy#96741
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:improve-settings-loading-strategy

Commits