Re: master has switched from Automake to GNU Make

[martin rudalics]

> IMO, when we do a "rebase", Git should also keep the previous history, tho
> only as a kind of "weak reference", so you wouldn't see that
> "truthful&messy" history unless you cared about it: the rebased
> revision wouldn't be enough to recover that messy history, but it would
> be enough to relate the new revision with some past "messy" revision you
> happened to have lying about.

That would be perfect, indeed.

martin