Skip to content

chore: Rename Config to GlobalContext#13409

Merged
bors merged 2 commits intorust-lang:masterfrom Muscraft:rename-configFeb 20, 2024

Commits

Commits on Feb 20, 2024