Hi, We received the following bug report: https://savannah.nongnu.org/bugs/?55998
The patch is trivial and I'd like to apply it, but I prefer to credit the author in git and the interface on Savannah didn't include the user name. So if someone wants to claim credit for it, please let me know; if I don't hear from anyone I'll just commit it anyway. --Ken -- nmh-workers https://lists.nongnu.org/mailman/listinfo/nmh-workers
