All I know *for sure* is that patching Fetchmail 6.2.4 fixed the
problem.
Any idea if this "patch" will become part of the code for the next
installment of Fetchmail? I'd like to get this problem nipped in the bud
once and for all if possible. I'd do the patch now, but I don't have the
time or patience to fuss with it at the moment.