Skip to content

dune_sexp: intern all atoms#12887

Open
rgrinberg wants to merge 2 commits intoocaml:mainfrom
rgrinberg:dune-sexp-intern-atoms
Open

dune_sexp: intern all atoms#12887
rgrinberg wants to merge 2 commits intoocaml:mainfrom
rgrinberg:dune-sexp-intern-atoms

Commits

Commits on Dec 10, 2025