chiark / gitweb /
Output master IP addrs.