Re: pgsql: Doc: replace unnecessary non-breaking space with ordinal space.

From: Michael Paquier <michael(at)paquier(dot)xyz>
To: Tatsuo Ishii <ishii(at)postgresql(dot)org>
Cc: pgsql-committers(at)lists(dot)postgresql(dot)org
Subject: Re: pgsql: Doc: replace unnecessary non-breaking space with ordinal space.
Date: 2024-10-01 07:39:58
Message-ID: ZvunTic_Cm1oaSQQ@paquier.xyz
Views: Whole Thread | Raw Message | Download mbox | Resend email
Thread:
Lists: pgsql-committers

On Tue, Oct 01, 2024 at 04:32:23PM +0900, Tatsuo Ishii wrote:
> Thank you for letting know me. I pushed it. But I noticed that now
> the commit's author time and commit time are different after pushed
> it. Should I revert ot and push it again?

You have applied a cherry-pick, from what I can see. 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 :)
--
Michael

In response to

Responses

Browse pgsql-committers by date

  From Date Subject
Next Message Tatsuo Ishii 2024-10-01 08:15:28 Re: pgsql: Doc: replace unnecessary non-breaking space with ordinal space.
Previous Message Tatsuo Ishii 2024-10-01 07:32:23 Re: pgsql: Doc: replace unnecessary non-breaking space with ordinal space.