Just in case anybody comes here again: Go to
Edit > Preferences > Mail Accounts > [select your account] > Edit > Receiving Email Here, under the title Configuration, you can specify the Server: pop.myprovider.tld[:port] where port defaults to 25. But this should be mentioned in a tooltip or in the help or something like that. -- POP server port setting is missing, setting other port then 25 not possible https://bugs.launchpad.net/bugs/256777 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
