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

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

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. ;-)

That patch was from me, BTW.