K 10
svn:author
V 6
iulius
K 8
svn:date
V 27
2015-03-18T20:47:11.317388Z
K 7
svn:log
V 221
pullnews:  when giving a port along with a server name, check there is only one
":" 

Otherwise, it is very likely that the given server name is an IPv6 address,
and therefore its end should not be interpreted as a port.

END
