[new release] dune-build-info, dune, dune-configurator, dune-action-plugin, dune-private-libs and dune-glob (2.5.0)#16170

Merged

kit-ty-kate merged 1 commit intoocaml:masterfrom rgrinberg:release-dune-2.5.0

Apr 11, 2020

+258

Commits on Apr 10, 2020

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