Opened 11 years ago
Closed 11 years ago
Last modified 9 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].