Date: Tue, 01 Oct 2024 16:32:23 +0900 (JST)
Message-Id: <20241001.163223.99964533628626955.ishii@postgresql.org>
To: michael@paquier.xyz
Cc: pgsql-committers@lists.postgresql.org
Subject: Re: pgsql: Doc: replace unnecessary non-breaking space with
 ordinal space.
From: Tatsuo Ishii <ishii@postgresql.org>
In-Reply-To: <Zvub8ojBwDEV-MXT@paquier.xyz>
References: <E1svT7W-001f0d-LU@gemulon.postgresql.org>
	<Zvub8ojBwDEV-MXT@paquier.xyz>
Mime-Version: 1.0
Content-Type: Text/Plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Archived-At: 
 <https://www.postgresql.org/message-id/20241001.163223.99964533628626955.ishii%40postgresql.org>
Precedence: bulk

> Ishii-san,
> 
> On Tue, Oct 01, 2024 at 03:00:15AM +0000, Tatsuo Ishii wrote:
>> Doc: replace unnecessary non-breaking space with ordinal space.
>> 
>> There were unnecessary non-breaking spaces (nbsp, U+00A0, 0xc2a0 in
>> UTF-8) in the docs.  This commit replaces them with ASCII spaces
>> (0x20).
>> 
>> config.sgml is backpatched through 17.
>> ref/drop_extension.sgml is backpatched through 13.
>> 
>> Discussion: https://postgr.es/m/20240930.153404.202479334310259810.ishii%40postgresql.org
>> Reviewed-by: Yugo Nagata, Daniel Gustafsson
>> Backpatch-through: 17, 13
> 
> It seems to me that you have forgotten to apply your patch on
> REL_17_STABLE.  Or am I missing something?

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?
--
Tatsuo Ishii
SRA OSS K.K.
English: http://www.sraoss.co.jp/index_en/
Japanese:http://www.sraoss.co.jp