agl/pond — pull request #111 by bfix (2014-07-08 10:46:41+00:00)
Title: Changes to 3rd party pond servers

Corrected onion address for "Hoi Polloi" server (see https://hoi-polloi.org/services.html#pond).
Changed nickname for "Wau Holland Foundation" server to "wau".