On 28 June 2018 at 15:18, Eli Zaretskii <eliz@gnu.org> wrote:
>> From: Noam Postavsky <npostavs@gmail.com>
>> Date: Thu, 28 Jun 2018 15:10:30 -0400
>> Cc: paul eggert <eggert@cs.ucla.edu>
>>
>> The attached patch fixes it, though I'm not sure if it's
>> entirely correct.
>
> The second part seems unrelated, yes?

Oops, that patch is mixed up, here's what I meant instead.