Hi John, On Wed, Apr 26, 2023 at 3:28 PM John Kehayias <john.kehay...@protonmail.com> wrote: > > a quick patch that > updates the package which builds fine for me locally; I didn't test > running it though.
Thanks for looking into it! An untested executable strikes me as superior to one that does not build. I would commit the patch, regardless of form, at the earliest opportunity. Kind regards Felix P.S. You may find the X-Debbugs-CC header helpful. [1] [1] https://debbugs.gnu.org/Reporting.html#xcc