Resubmitted the patch more properly made.  Looks like it didn't continue
this thread.  How do I close this?

On Wed, May 20, 2020, 17:07 Josh Marshall <joshua.r.marshall.1991@gmail.com>
wrote:

> Sure.  This was before I figured out `git send-email`.
>
> On Wed, May 20, 2020, 17:01 Marius Bakke <mbakke@fastmail.com> wrote:
>
>> Hi Josh,
>>
>> Can you resubmit this patch with a proper commit message?
>>
>> Thanks!
>>
>