On Tue 2019-07-30 00:23:16 +0300, Tomi Ollila wrote:
> On Sun, Jul 28 2019, Daniel Kahn Gillmor wrote:
>> (fwiw, i would also be happy if we moved away from literal tabs and just
>> used spaces-only. But i am not interested in setting off a flamewar,
>> so if anyone prefers the mixed-tabs-and-spaces situation we are in
>> today, i will never mention this again)
>
> I like mixed tabs and spaces. for example cursor moves faster...
Consider my proposal withdrawn :)
--dkg
_______________________________________________ notmuch mailing list notmuch@notmuchmail.org https://notmuchmail.org/mailman/listinfo/notmuch