Skip to content

Make (public_name -) equivalent to no public name#7576

Merged
emillon merged 2 commits intoocaml:mainfrom emillon:public-name-emptyMay 2, 2023

Commits

Commits on May 2, 2023