FYI - I quickly chucked up the pear channel earlier, but note the DNS change might take some time to make it through cache expiries.
Ian _______________________________________________ zeromq-dev mailing list [email protected] http://lists.zeromq.org/mailman/listinfo/zeromq-dev
