Use a more efficient Once on platforms without threads#105698
Merged
bors merged 1 commit intorust-lang:masterfrom Dec 19, 2022
Merged
Use a more efficient Once on platforms without threads#105698bors merged 1 commit intorust-lang:masterfrom
Once on platforms without threads#105698bors merged 1 commit intorust-lang:masterfrom
