[Dune] [#1094] Compiling Generic Reference Elements Requires too much Memory

[Dune]

THIS IS AN AUTOMATED MESSAGE, DO NOT REPLY.

The following task has a new comment added:

FS#1094 - Compiling Generic Reference Elements Requires too much Memory
User who did this - Martin Nolte (nolte)

----------
Oli, you really have a point that branches should (in theory) not bause extra work when merging. This might be even more true with git, where everybody has his own working branch (read: copy of the repository). Nevertheless, I do think this requires an extra portion of discipline and I fear few of us will bring that along.

I'm willing to test my discipline and create myself a branch for my suggested developments. We can then extensively discuss these changes and, once they are acceptable to a majority, merge them to the trunk. It seems like the best way to go: We can thoroughly think everything through (even for years) and I have my code running.

>From Christian's comment I grasp that we are still discussing whether this symptom needs treatment from our side or not. Therefore I suggest to postpone this discussion until the meeting (I can develop my suggestion for the cure in the mean time).
----------

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

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.