Skip to content

dunecontrol fails when a branch with name 'dune.module' is created.

This is probably the best bug I have seem in my entire time with DUNE.

See mailing list discussion: https://lists.dune-project.org/pipermail/dune-devel/2022-October/002961.html

Edited by Santiago Ospina De Los Ríos