Merge PR#43: nicer handling for ssh keys
authornicoo <nicoo@realraum.at>
Fri, 30 Nov 2018 23:11:53 +0000 (00:11 +0100)
committernicoo <nicoo@realraum.at>
Fri, 30 Nov 2018 23:11:53 +0000 (00:11 +0100)

Trivial merge