Hi 繠䴧,

Thanks for the bug report! Would you be interested in submitting this as
a patch?

To generate a patch, you commit as usual, and then run `git format-patch
origin/main`. You can then send the patch as an email attachment. Don't
worry about any commit message conventions; I can fix that on my end.

Regards,
Arun

Reply via email to