On 31 Aug 2019, at 16:56, Eli Zaretskii <eliz@gnu.org> wrote:
> 
>> From: Damon Permezel <dap@zepherin.com>
>> Date: Sat, 31 Aug 2019 16:41:20 +1000
>> Cc: 37236@debbugs.gnu.org
>> 
>> That does indeed address the issue.
> 
> Thanks, I installed the change on the master branch, and I'm closing
> this bug report.

Thank you.