> Providing the port number as a string makes it work. Thanks! Removing it altogether should work as well: 119 is the default.
Stefan
_______________________________________________
info-gnus-english mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/info-gnus-english
