open-mpi/ompi-release — pull request #96 by rhc54 (2014-11-20 01:14:28+00:00)
Title: Fixed a bug that fails to parse hostname starting with numbers.

According to RFC 1123, hostnames that begin with numbers are valid.

(cherry picked from commit open-mpi/ompi@07ff51f43f48d896d6b580279b527f793f387946)