On 09/25/2016 12:13 PM, Jean-Pierre Chrétien wrote: > Le 21/09/2016 à 12:06, Enrico Forestieri a écrit : >> On Wed, Sep 21, 2016 at 10:13:54AM +0100, Jean-Pierre Chrétien wrote: > >>> >>> Below is the result of git diff, I'm puzzled because other changes >>> appeared: >>> * change of \origin (not uncommon, how can I avoid it?) >> >> Please, try cherry picking ade098e2 (or apply the attached patch). It is >> intended to avoid such issue. I asked Richard about backporting it, but >> I have got no reply, yet. > > Works like a charm, can be committed to branch IMHO (or to > 2.2.3-staging), this would save work for Uwe.
Sorry, I must have missed this. (Beginning of the semester, very busy.) I've picked it for stable. Richard
