Avoid runtime error if no versions are given.
Merge branch 'new' of https://github.com/GPGTools/GPGTools_Homepage into new