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

> 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