Diff dune-configurator-3.7.1 with a dune-configurator-3.8.0

Thank you!