Thread: doc: cosmetic changes in index items
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
Attachment
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
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services
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