Jean-Marc Lasgouttes wrote:
michael> 1. Change time
This looks OK. Please encapsulate the policy telling which changes are
equal so that we can modify it later.
Another solution would be to have all the changes in a same session be
the same, or all changes by a same author be the same.
Committed. Bug fixing is so easy nowadays :-)
But currently, one can delete an INSERTED change even if it is done by
someone else, I think. We need a global solution.
Your proposal is orthogonal to my proposal. And guess what: It is damn
easy to implement :-)
I will fix this either tomorrow or at weekend.
Michael
