chiark / gitweb /
dot/parallel-hosts: Add missing entry for `mango'.