{"head":"05a9fdaeca3c5a1551d4c53332d022e5bbbc4895","size":1,"push_id":45413716,"shas":[["05a9fdaeca3c5a1551d4c53332d022e5bbbc4895","51b51a28b57dca5b3914d851ce983c6e9a3de745@googlemail.com","added possibility to define ssh port for every server... servername:port","Jan"]],"ref":"refs/heads/0.21"}