Re: doc: cosmetic changes in index items

2020-11-24 Thread Fujii Masao
On 2020/11/22 6:32, Euler Taveira wrote: On Mon, 16 Nov 2020 at 12:26, Fujii Masao mailto:masao.fu...@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

Re: doc: cosmetic changes in index items

2020-11-21 Thread Euler Taveira
On Mon, 16 Nov 2020 at 12:26, Fujii Masao 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?

doc: cosmetic changes in index items

2020-11-16 Thread 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 config