Skip to content

chore: bump Dune version to 3.8#7051

Merged
rgrinberg merged 1 commit intoocaml:mainfrom Alizter:ps/rr/chore__bump_dune_version_to_3_8Feb 19, 2023

Commits

Commits on Feb 13, 2023