On 2024/11/13 22:14, Jeremy Evans wrote:
> Thank you very much for testing.  I'll commit upstream's patch.  No point in deviating
> unnecessarily from upstream.

Agreed.

>                               I'll see if I can do it via a distpatch instead of a local patch.

Local patches are less fragile. And only one file needs touching so
there's no mess of lots of patch files, which is the main reason when a
distpatch might still be worth it.