Use ssh-credentials 1.13
Use ssh-credentials 1.13

The ssh-credentials 1.13 release was 31 Jan 2017 and has been the
version used in all my testing.  It includes several bug fixes.

MarkEWaite/git-plugin,martinda/git-plugin,MarkEWaite/git-plugin,jenkinsci/git-plugin,recena/git-plugin,jacob-keller/git-plugin,jenkinsci/git-plugin,jacob-keller/git-plugin,v1v/git-plugin,jacob-keller/git-plugin,MarkEWaite/git-plugin,MarkEWaite/git-plugin,kzantow/git-plugin,recena/git-plugin,v1v/git-plugin,kzantow/git-plugin,recena/git-plugin,v1v/git-plugin,kzantow/git-plugin,jenkinsci/git-plugin,jenkinsci/git-plugin,martinda/git-plugin,martinda/git-plugin