Обсуждение: doc: cosmetic changes in index items

Поиск
Список
Период
Сортировка

doc: cosmetic changes in index items

От
Fujii Masao
Дата:
Hi,

I found that only the following three index items have " ,"
(i.e., space + comma) in the docs. This is not harmful and
is very minor issue, but I'd like to get rid of that unnecessary
space character for the sake of consistency. Thought?
Patch attached.

   parallel_leader_participation configuration parameter , Other Planner Options
   pg_trgm.strict_word_similarity_threshold configuration parameter , GUC Parameters
   pg_trgm.word_similarity_threshold configuration parameter , GUC Parameters

Regards,

-- 
Fujii Masao
Advanced Computing Technology Center
Research and Development Headquarters
NTT DATA CORPORATION

Вложения

Re: doc: cosmetic changes in index items

От
Euler Taveira
Дата:
On Mon, 16 Nov 2020 at 12:26, Fujii Masao <masao.fujii@oss.nttdata.com> wrote:

I found that only the following three index items have " ,"
(i.e., space + comma) in the docs. This is not harmful and
is very minor issue, but I'd like to get rid of that unnecessary
space character for the sake of consistency. Thought?

Good catch. +1.


-- 
Euler Taveira                 http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services

Re: doc: cosmetic changes in index items

От
Fujii Masao
Дата:

On 2020/11/22 6:32, Euler Taveira wrote:
> On Mon, 16 Nov 2020 at 12:26, Fujii Masao <masao.fujii@oss.nttdata.com <mailto:masao.fujii@oss.nttdata.com>> wrote:
> 
> 
>     I found that only the following three index items have " ,"
>     (i.e., space + comma) in the docs. This is not harmful and
>     is very minor issue, but I'd like to get rid of that unnecessary
>     space character for the sake of consistency. Thought?
> 
> Good catch. +1.

Pushed. Thanks!

Regards,

-- 
Fujii Masao
Advanced Computing Technology Center
Research and Development Headquarters
NTT DATA CORPORATION