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 Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
