[Dune] [#771] configure generated gridtype.hh / dgfgridtype.hh

[Dune]

THIS IS AN AUTOMATED MESSAGE, DO NOT REPLY.

The following task has a new comment added:

FS#771 - configure generated gridtype.hh / dgfgridtype.hh
User who did this - Robert Klöfkorn (robertk)

----------
Christian:
I didn't like this patch from it's beginning and think it still needs
discussion. I will not merge this patch to the release. It is a
significant change.

Oliver:
I have an uneasy feeling about this one too.  For my taste, it adds a bit
too much magic.  Even worse, it adds decentral magic.  But I admit
that this is a subjective judgement.


----------

More information can be found at the following URL:
http://www.dune-project.org/flyspray/index.php?do=details&task_id=771#comment1888

You are receiving this message because you have requested it from the Flyspray bugtracking system.  If you did not expect this message or don't want to receive mails in future, you can change your notification settings at the URL shown above.