Nils Winkler ec384be4be Remove echo when a dead SSH Agent PID is found ...

This case can be safely ignored, no need to print a message for that.

Fixes #1579

2020-05-02 14:46:05 +02:00

..

available

Remove echo when a dead SSH Agent PID is found

2020-05-02 14:46:05 +02:00