Skip to content

Add four missing attributes to the builtin_attrs table.#1898

Merged
goldfirere merged 1 commit intoocaml-flambda:mainfrom
ccasin:builtin-attr
Oct 3, 2023

Commits

Commits on Oct 3, 2023