Subject: bug#25585: Fwd: [reddit] 1 new message from u/hvis

From: Dmitry Gutov <[email-masked]>
Date: Wed, 19 Aug 2020 15:11:55 +0300

On 19.08.2020 15:07, Lars Ingebrigtsen wrote:
> And I worked to hard on "fixing" the patch to match the surrounding
> lines!:-)

We either hope the indentation converges on one style over the years, or 
keep islands of consistent styling (which will break at the edges 
anyway). Can't have both.

> Oh, sorry.  Didn't follow the link.

It was under a pseudonym anyway.