On Thu, Mar 23, 2023 at 1:24 PM Andy Shevchenko <andriy.shevchenko@xxxxxxxxxxxxxxx> wrote: > > On Wed, Mar 22, 2023 at 07:50:55PM +0100, Rafael J. Wysocki wrote: > > On Wed, Mar 22, 2023 at 11:26 AM Andy Shevchenko > > <andriy.shevchenko@xxxxxxxxxxxxxxx> wrote: > > ... > > > > 2) Remove double spaces for consistency. > > > > I don't quite agree with this. > > > > Double spaces after a period are recognized as end-of-sentence markers > > by some editors (notably vi), so if they have been used intentionally, > > I see no reason to replace them. > > For the sake of consistency. There places in very same file which do not > follow this. I can invert and add a space to the rest. Do you prefer that? Not really. I just don't think that this is worth the churn. > The reasoning will be kept the same, though. Is the lack of consistency in this particular respect really an issue? I guess you can argue that if there are mixed sentence ending styles in one and the same comment, it is better to make them consistent, which I can agree with. Otherwise I'm not convinced.
