[jakeinspace]

It’s a 1-line patch, I didn’t send it in my initial email but maybe that was a faux pas.

[tych0]

I'd say sending the patch with git send-email --in-reply-to=<the header of your last email> is good. A patch is much easier to apply than write :)

[jakeinspace]

Thanks! Would you recommend I send to the maintainer(s), and Cc the mailing list?

[tych0]

Yeah, I'd just use whatever the output of ./scripts/get_maintainer.pl says. It will also suggest any recent committers to that area of the code, which I've found useful in the past. Usually I put the maintainers as To:, and everyone else as Cc:.