Opened 12 years ago
Closed 12 years ago
Last modified 10 years ago
It has been reported (by A. Hofland) that numeric hostnames are not recognised but rather interpreted as IP address.
Believed to be fixed by changeset [448].
Believed to be fixed by changeset [448].