[Dune] changes to core modules ( FS#386 - Replace link 'dune' )

[Christian Engwer]

On Mon, Oct 12, 2009 at 02:37:01PM +0200, Markus Blatt wrote:
> On Mon, Oct 12, 2009 at 02:28:06PM +0200, Christian Engwer wrote:
> > 
> > As these changes will change the repository structure, everybody is
> > adviced to commit his changes before.
> > 
> > We have to agree on a certain date for the change. I ask everybody to
> > commit his changes till
> >   Tuesday 13th october 2009 18:00
> > I will then announce once all changes are performed.
> > 
> 
> Mmh, saying we have to agree on a date and at the same moment fixing
> is a contradiction in itself. IMHO this is a rather short time.

Usually there shouldn't be too many pending commits. Also it shouldn't
be a big deal to move those changed files to the new
dune/... directory.

If there is a good reason for delaying the changes (perhaps in one of
the modules) say so and make a suggestion for an other date.

Christian