[Dune] [#604] move reference element related stuff to separate module

[Dune]

THIS IS AN AUTOMATED MESSAGE, DO NOT REPLY.

The following task has a new comment added:

FS#604 - move reference element related stuff to separate module
User who did this - Jö Fahlke (joe)

----------
@Martin: Different types are of course an option.  Though they have to be interoperable since not everything can be switched at once, and we definitely have to choose a new name (be it in a sub-namespace or otherwise).

@Oliver: It will clash during the one release deprecation period.

----------

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

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.