-
- Downloads
Merge branch 'revert-3c5922d7' into 'master' ref:core/dune-common\> This reverts merge request [!670] As explained by @carsten.graeser the compiler costs increased dramatically. Let's revert this MR until we sorted out the actual problem and keep the compile time in the usual bounds. See merge request [!782] [!670]: gitlab.dune-project.org/NoneNone/merge_requests/670 [!782]: gitlab.dune-project.org/core/dune-common/merge_requests/782
Loading
Please register or sign in to comment