Fixes #5930: Correct bad merge on sshKeyDistribution that prevented it to edit the file
Merge pull request #618 from ncharles/bug_5930/dev/ssh_key_distribution

Fixes #5930: Correct bad merge on sshKeyDistribution that prevented it t...