For the record, this is the patch Jim wrote (which was inlines in his email to debbugs.gnu.org). I believe there was a conflict of emails -- Jim probably used a different email than the one he has registered on LP.
I am tagging this 'patch-upstreaminput' since Jim is expecting feedback from the list before committing. This fix will *probably be available on next upstream stable (8.6?).
For the record, this is the patch Jim wrote (which was inlines in his email to debbugs.gnu.org). I believe there was a conflict of emails -- Jim probably used a different email than the one he has registered on LP.
I am tagging this 'patch- upstreaminput' since Jim is expecting feedback from the list before committing. This fix will *probably be available on next upstream stable (8.6?).
Thank you, Jim.