On 05/09/2023 13:50 CEST Michael Paquier <michael(at)paquier(dot)xyz> wrote:
> On Tue, Sep 05, 2023 at 11:06:36AM +0200, Drouvot, Bertrand wrote:
> > Oh ok, out of curiosity, why are 2 whitespaces intentional?
>
> That depends on the individual who write the code, but I recall that
> this is some old-school style from the 70's and/or the 80's when
> typing machines were still something. I'm just used to this style
> after the end of a sentence in a comment.
FYI: https://en.wikipedia.org/wiki/Sentence_spacing
--
Erik