Skip to content

Shrink the ref_table if it grows large#1156

Merged
mshinwell merged 1 commit intoocaml-flambda:mainfrom
stedolan:shrink-ref-table
Mar 1, 2023

Commits

Commits on Feb 28, 2023