> On 2 Oct 2018, at 10:39, Guillermo Polito <[email protected]> wrote:
>
> Also, everybody seems to assume that it is "really easy to do" in emails.
> But nobody is taking the time to do it, so why should I?
>
> Now apparently you also missed a point in my email: what I did is not
> incompatible with migrating the history.
> History could have been migrated separately, and then my changes merged in
> them.
>
> Now we can focus on the mistakes, or try to build something together.
> But again, we are discussing again this instead of actually migrating the
> history :).
So true: I very much appreciate that you did something that you were not
required to do.
And to be clear: you have done a tremendous amount of work lately, Guille, so
thank you for all your contributions.
It is better to err on the action side than to do nothing and talk.
Sven
