On 2019-10-17 13:18, Eli Zaretskii wrote:
>> Cc: rpluim@gmail.com, 37785@debbugs.gnu.org
>> From: Clément Pit-Claudel <cpitclaudel@gmail.com>
>> Date: Thu, 17 Oct 2019 11:53:45 -0400
>>
>> I've attached an updated patch.
> 
> Thanks, I have a few minor comments.

Wonderful, thanks a lot!  Here's an updated patch.