Nicolas Malin <[email protected]> writes: > Effectively, good point to make more attention on the future. > > I'm not sure that I can amend this commit without make a push force > after, so I prefer to keep this error instead generate more > inconvenient.
Indeed that was my suggestion to follow this convention in your future commits, not to rewrite the history (which hopefully is not allowed by Gitbox on ‘trunk’). > thanks also Jacques for the following issue :) Thanks! -- Mathieu Lirzin GPG: F2A3 8D7E EB2B 6640 5761 070D 0ADE E100 9460 4D37
