Skip to content

[new release] dune-build-info, dune, dune-configurator, dune-action-plugin, dune-private-libs and dune-glob (2.0.0+draft2)#15261

Closed
rgrinberg wants to merge 2 commits intoocaml:masterfrom rgrinberg:release-dune-2.0.0+draft2