|
From: | Dmitry Gutov |
Subject: | bug#25585: Fwd: [reddit] 1 new message from u/hvis |
Date: | Wed, 19 Aug 2020 15:11:55 +0300 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.10.0 |
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.
[Prev in Thread] | Current Thread | [Next in Thread] |