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