Hi Eric,
Thanks for researching this! ACK and applied.
Thanks.
Now a followup question - in AUTHORS, you are listed as Gerd von
Egidy,
but in this commit, your authorship is Gerd v. Egidy. Which do you
prefer, and I'll update .mailmap and possibly AUTHORS (it makes it so
that 'git shortlog' will bundle all commits by you under a single
listing of your preferred spelling).
You seem to care about crediting your contributors - nice.
I think I should consolidate all my email addresses an git default configs, but
until that is done you can apply the attached patch.
Kind regards,
Gerd