juju/juju-gui — pull request #562 by huwshimi (2014-09-17 07:05:40+00:00)
Title: Sort names by number

Fixes bug #1369794: if machine names are numbers then sort them as numbers.