[pkg-fetchmail-maint] Bug#705291: fetchmail: redundant fetch when configured for more tha user

[Dave U. Random]

>The workaround is to use a pollname that is distinct from the server's
>host name.  It might look like (untested):
>
>  skip fred-pop.safe-mail.net via pop.safe-mail.net
>...
>  skip barney-pop.safe-mail.net via pop.safe-mail.net
> ... (the same scheme for wilma).
>
>The poll name (the ...-pop.safe-mail.net right after skip) now no longer
>specifies the server name, but only an internal name to fetchmail. The
>actual host name goes after "via".

Thanks for the workaround!  It worked out fine.