Hello Noam,

On Wed, Jul 18, 2018 at 7:16 PM Noam Postavsky <npostavs@gmail.com> wrote:

tags 32200 + patch
quit

Ah, another weird quirk of indent-line-to. How about this:

Thanks for the prompt patch! That fix works for me.

Kaushal Modi