> You have applied a cherry-pick, from what I can see. Yes, I did and "git pull" later on.
> There is no > point in reverting and re-pushing for that, IMO, because there is also > a point in keeping the author timestamp close to the original ones > when doing a cherry-pick of a past commit on a stable branch :) Ok, I leave it as it is. Best reagards, -- Tatsuo Ishii SRA OSS K.K. English: http://www.sraoss.co.jp/index_en/ Japanese:http://www.sraoss.co.jp
