Skip to content

Remove def_id field from ParamEnv

7dad29d
Select commit
Loading
Failed to load commit list.
Merged

Removing the def_id field from hot ParamEnv to make it smaller #76244

Remove def_id field from ParamEnv
7dad29d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs