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

Closed

rgrinberg wants to merge 1 commit intoocaml:masterfrom rgrinberg:release-dune-2.0.0+draft1

+263

Commits on Oct 31, 2019

[new release] dune-build-info, dune, dune-configurator, dune-action-plugin, dune-private-libs and dune-glob (2.0.0+draft1)
rgrinberg
committed