Skip to content

Some GlobalCtxt/Session cleanups - #161332

Merged
rust-bors[bot] merged 4 commits into
rust-lang:mainfrom
nnethercote:GlobalCtxt-Session-cleanups
Aug 20, 2026
Merged

rust-bors[bot] merged 4 commits into
rust-lang:mainfrom
nnethercote:GlobalCtxt-Session-cleanups

Commits

Commits on Aug 18, 2026

Commits on Aug 19, 2026