search

dune-community / dune-xt-common

Other
2 stars 3 forks source link

dailywork-ftschindler #74

Closed ftalbrecht closed 6 years ago

ftalbrecht commented 6 years ago

Any objections, @renemilk?

ftalbrecht commented 6 years ago

Following https://gitlab.dune-project.org/core/dune-common/issues/91, this is probably not a good idea... :/

renefritze commented 6 years ago

Yes. That redefine is actually pretty dangerous because the allowed placement of the core macro is different from the new macro.