> 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