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

From: Lars Ingebrigtsen <[email-masked]>
Date: Wed, 19 Aug 2020 14:07:49 +0200

Dmitry Gutov <[email-masked]> writes:

> On 19.08.2020 14:49, Lars Ingebrigtsen wrote:
>> Does anybody object to applying this patch?  There may be unwanted side
>> effects...
>
> I object to the use of tab character for indentation in a newly added
> line. ;-)

And I worked to hard on "fixing" the patch to match the surrounding
lines!  :-)

> That patch was from me, BTW.

Oh, sorry.  Didn't follow the link.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no