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!